Enhancement Schemes for Constraint Processing (1990)

by Rina Dechter
Venue:Backjumping, Learning, and Cutset Decomposition. Artificial Intelligence