Set Domain Propagation Using ROBDDs

Vitaly Lagoon, Peter J. Stuckey. Set Domain Propagation Using ROBDDs. In Mark Wallace, editor, Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings. Volume 3258 of Lecture Notes in Computer Science, pages 347-361, Springer, 2004. [doi]

Abstract

Abstract is missing.