Pushing the envelope: Planning, propositional logic, and stochastic search (1996)

by H Kautz, B Selman
Venue:In Proc. of the 13th National Conference on AI (AAAI'96