www.ai-center.com

Selman, B.; Kautz, H.; and Cohen, B. 1996.
Local Search Strategies for Satisfiability Testing.
In Johnson, D. S., and Trick, M. A. (eds.), Cliques, Coloring, and Satisfiability, DIMACS Volume 26: 521-532.

Referenced by pages:

• Local Search
• Propositional Satisfiability
• Conclusion