WalkSAT as an Informed Heuristic to DPLL in SAT Solving
| Title | WalkSAT as an Informed Heuristic to DPLL in SAT Solving |
| Publication Type | Journal Articles |
| Year of Publication | 2004 |
| Authors | Ferris B, Froehlich J |
| Journal | Department of Computer Science, University of Washington, Seattle |
| Date Published | 2004 |