Set Bounds and (Split) Set Domain Propagation Using ROBDDs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Set Domain Propagation Using ROBDDsVitaly Lagoon, Peter J. Stuckey. cp 2004: 347-361 [doi]

Solving Set Constraint Satisfaction Problems using ROBDDsPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey. jair, 24:109-156, 2005. [doi]

runs on WebDSL