Automatic SAT-Compilation of Planning Problems.

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld

Browse the full IJCAI paper archive.