ML Anthology

Ernst, Michael D.

1 publications

IJCAI 1997 Automatic SAT-Compilation of Planning Problems Michael D. Ernst, Todd D. Millstein, Daniel S. Weld