www.ai-center.com

Schuurmans, D., and Southey, F. 2000.
Local search characteristics of incomplete SAT procedures.
In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000), 297-302.

Referenced by page:

• Propositional Satisfiability