Keywords: Tree-decomposition-4.svg Every node of the tree in Image Tree-decomposition-2 svg is made a variable Its domain is the set of all solutions of the relative subproblem found as for example in Image Tree-decomposition-3 svg The constraint of this new problem equates all copies of the old variables In this example only equality of y between the root and its right child is shown but equality of x and z between the root and its left child is also enforced Constraint satisfaction 2006-04-14 own assumed Tizio |