Graeme Gange Peter J. Stuckey Radoslaw Szymanek MDD propagators with explanation. 407-429 2011 16 Constraints 4 http://dx.doi.org/10.1007/s10601-011-9111-x db/journals/constraints/constraints16.html#GangeSS11