Backjump-based Backtracking for Constraint Satisfaction Problems (2002)

by R, D Frost
Venue:Journal of Artificial Intelligence