Planning as satis ability (1992)

by H Kautz, B Selman
Venue:InProc. of ECAI-92