Infoscience

Journal article

MDD propagators with explanation

Gange, Graeme; Stuckey, Peter J.; Szymanek, Radoslaw
  • Published in: Constraints, vol. 16, p. 407-429
  • Publication date: 2011

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.

Fulltext

Related material

Contacts