Planning as satisfiability (1992)

by H A Kautz, B Selman
Venue:In Proc., 10th Euro. Conf. on AI