www.ai-center.com


Reference: selman-96-wsat

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: