Backjump-based backtracking for constraint satisfaction problems (0)

by Rina Dechter, Daniel Frost
Venue:Artificial Intelligence