MDD propagators with explanation

Select |




Print


Gange, Graeme; Stuckey, Peter; Szymanek, Radoslaw

Gange, Graeme; Stuckey, Peter; Szymanek, Radoslaw


2011-10-16


Journal Article


Constraints


16


4


407-429


Multi-valued decision diagrams (MDDs) are a convenient approach to representing many kinds of constraints including table constraints, regular constraints, complex set and multiset constraints, as well as ad- hoc problem specific constraints. This paper introduces an incremental propagation algorithm for MDDs, and explores several methods for incorporating explanations with MDD-based propagators. We demonstrate that these techniques can provide significantly improved performance when solving a variety of problems.


https://doi.org/10.1007/s10601-011-9111-x


http://www.springer.com/computer/ai/journal/10601


nicta:5354


Gange, Graeme; Stuckey, Peter; Szymanek, Radoslaw. MDD propagators with explanation. Constraints. 2011-10-16; 16(4):407-429. https://doi.org/10.1007/s10601-011-9111-x



Loading citation data...

Citation counts
(Requires subscription to view)