www.ai-center.com

Gent, I. P., and Walsh, T. 1993.
Towards an Understanding of Hill-climbing Procedures for SAT.
In Proceedings of Eleventh National Conference on Artificial Intelligence (AAAI-93), 28-33.

Referenced by page:

• Propositional Satisfiability