Planning as Satisfiability (1992)

by H Kautz, B Selman
Venue:In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI '92