Backjump-based backtracking for constraint satisfaction problems

by Rina Dechter , Daniel Frost
Venue:Artificial Intelligence
Citations:44 - 2 self