GSAT and Dynamic Backtracking.

Matthew L. Ginsberg, David A. McAllester

Browse the full KR paper archive.