Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition (1990)

by R Dechter
Venue:Artificial Intelligence