Rina Dechter Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition. 273-312 1990 41 Artif. Intell. 3 db/journals/ai/ai41.html#Dechter90