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

by H Kautz, B Selman
Venue:In Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96