GSAT and Dynamic Backtracking (1994)

by Matthew L. Ginsberg, David A. McAllester
Venue:Journal of Artificial Intelligence Research