Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey. Set Bounds and (Split) Set Domain Propagation Using ROBDDs. In Geoffrey I. Webb, Xinghuo Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Volume 3339 of Lecture Notes in Computer Science, pages 706-717, Springer, 2004. [doi]
Abstract is missing.