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]
Abstract is missing.