SAT Encodings of State-Space Reachability Problems in Numeric Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz. SAT Encodings of State-Space Reachability Problems in Numeric Domains. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 1918-1923, 2007. [doi]

This author has not been identified. Look up 'Jörg Hoffmann' in GoogleThis author has not been identified. Look up 'Carla P. Gomes' in GoogleThis author has not been identified. Look up 'Bart Selman' in GoogleThis author has not been identified. Look up 'Henry A. Kautz' in Google

runs on WebDSL