Publications

WalkSAT as an Informed Heuristic to DPLL in SAT Solving

Brian Ferris  Jon E. Froehlich 

Artificial Intelligence Graduate Course taught by Professor Dan Weld 2005