Planning as satisfiability (1992)

by H Kautz, B Selman
Venue:In Proceedings of ECAI-92. 359–363