Backjump-based backtracking for constraint satisfaction problems

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