Dynamic backtracking (1993)

by M L Ginsberg
Venue:Journal of Artif icial Intelligence Research