State-space Planning by Integer Optimization (1999)

by Henry Kautz, Joachim P. Walser
Venue:In Proceedings of the Sixteenth National Conference on Artificial Intelligence