Planning as satisfiability. (1992)

by H Kautz, B Selman
Venue:In Proceedings of European Conference on Artificial Intelligence (ECAI),