GSAT and Dynamic Backtracking (1994)

by Matthew L. Ginsberg , David A. McAllester
Venue:Journal of Artificial Intelligence Research
Citations:359 - 14 self