%0 Journal Article %J Department of Computer Science, University of Washington, Seattle %D 2004 %T WalkSAT as an Informed Heuristic to DPLL in SAT Solving %A Ferris,B. %A Jon Froehlich %B Department of Computer Science, University of Washington, Seattle %8 2004 %G eng