www.ai-center.com

Selman, B.; Levesque, H.; and Mitchell, D. 1992.
A New Method for Solving Hard Satisfiability Problems.
In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 440-446.

Referenced by pages:

• Local Search
• Propositional Satisfiability
• Global Constraints from a Local Search Perspective
• Conclusion