Gange, GraemeStuckey, Peter J.Szymanek, Radoslaw2011-12-162011-12-162011-12-16201110.1007/s10601-011-9111-xhttps://infoscience.epfl.ch/handle/20.500.14299/73710WOS:000293957600003Multi-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.Global Grammar ConstraintsSequence Constrainttext::journal::journal article::research article