@article {19211, title = {WalkSAT as an Informed Heuristic to DPLL in SAT Solving}, journal = {Department of Computer Science, University of Washington, Seattle}, year = {2004}, month = {2004}, author = {Ferris,B. and Jon Froehlich} }