@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}
}
