Dynamic Backtracking (1993)

by M L Ginsberg
Venue:Journal of Artificial Intelligence Research