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

by H Kautz, B Selman
Venue:In Proceedings of the Thirteenth National Conference on Arti Intelligence