Planning as satisfiability (1992)

by Henry Kautz, Bart Selman
Venue:IN ECAI-92