GSAT and dynamic backtracking (1994)

by M L Ginsberg, D A McAllester
Venue:In 4th KR