Propagating Separable Equalities in an MDD Store

Tarik Hadzic, John N. Hooker, Peter Tiedemann. Propagating Separable Equalities in an MDD Store. In Laurent Perron, Michael A. Trick, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings. Volume 5015 of Lecture Notes in Computer Science, pages 318-322, Springer, 2008. [doi]

Abstract

Abstract is missing.