Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach

TitleConstraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
Publication TypeConference Paper
Year of Publication2017
AuthorsMolnár, V., and Majzik, I.
EditorPataki, B.
Conference NameProceedings of the 24th PhD Mini-Symposium
Conference LocationBudapest, Hungary
ISBN Number978-963-313-243-2
PDF: