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

by R Dechter
Venue:Artif. Intell