PDF:
Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
| Title | Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Molnár, V., and Majzik, I. |
| Editor | Pataki, B. |
| Conference Name | Proceedings of the 24th PhD Mini-Symposium |
| Conference Location | Budapest, Hungary |
| ISBN Number | 978-963-313-243-2 |
