Stephen A. Cook and David G. Mitchell, "Finding Hard Instances of the
Satisfiability Problem: A Survey",
in Dingzhu Du, Jun Gu, and Panos
M. Pardalos, editors, The Satisfiability Problem: Theory and
Application, volume 35 of DIMACS Series in Discrete Mathematics and
Theoretical Computer Science, pages 1-17. American Mathematical
Society, 1997.
Excellent overview of both the phase transition phenomena and the
GSAT/Walksat local search algorithms.
PS
|
|