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

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]

This author has not been identified. Look up 'Peter Hawkins' in GoogleThis author has not been identified. Look up 'Vitaly Lagoon' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL