Enhancement Schemes for Constraint (1990)

by R Dechter
Venue:Processing: Backjumping, Learning, and Cutset Decomposition. Artificial Intelligence 41:273–312