Proceedings

Michael D. Ernst

1 paper in the IJCAI proceedings

IJCAI 1997

Automatic SAT-Compilation of Planning Problems
with Todd D. Millstein, Daniel S. Weld
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards