Planning as satisfiability. (1992)

by Henry Kautz, Bart Selman
Venue:In Proceedings of ECAI,