Automatic SAT-Compilation of Planning Problems (1997)

by Michael D. Ernst , Todd D. Millstein , Daniel S. Weld
Venue:IJCAI-97
Citations:121 - 10 self