Rina Dechter Bucket Elimination: a Unifying Framework for Processing Hard and Soft Constraints. 51-55 1997 2 Constraints 1 db/journals/constraints/constraints2.html#Dechter97