www.ai-center.com

Kautz, H., and Selman, B. 1996.
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search.
In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1194-1201.

Referenced by pages:

• Planning
• Local Search
• Propositional Satisfiability