Backjump-based backtracking for constraint satisfaction problems (2002)

by R Dechter, D Frost
Venue:Artificial Intelligence