Ferris B, Froehlich J.  2004.  WalkSAT as an Informed Heuristic to DPLL in SAT Solving. Department of Computer Science, University of Washington, Seattle.