www.ai-center.com

McAllester, D; Selman, B.; and Kautz, H. 1997.
Evidence for Invariants in Local Search.
In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), 321--326.

Referenced by page:

• Propositional Satisfiability