SAT Encodings of State-Space Reachability Problems in Numeric Domains.

Jrg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz

Browse the full IJCAI paper archive.