MDD propagators with explanation

Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek

Research output: Contribution to journalArticleResearchpeer-review

25 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)407-429
Number of pages23
Issue number4
Publication statusPublished - 1 Oct 2011
Externally publishedYes

Cite this