Dynamic Backtracking (1993)

by M L Ginsberg
Venue:Journal of Artio/cial Intelligence Research