Planning as satis ability (1992)

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