CNF Encodings of Binary Constraint Trees (Extended Abstract)
Authors: Ruiwei Wang and Roland Yap
Paper Information
| Title: | CNF Encodings of Binary Constraint Trees (Extended Abstract) |
| Authors: | Ruiwei Wang and Roland Yap |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | BCT, CNF, MDD, NFA/MDD constraint, propagation strength |
| Pages: | 3 |
| Talk: | Aug 01 12:24 (Session 31R: Doctoral Program) |
| Paper: |  |