Keywords: Solving-tree-decomposition-2.svg On the tree decomposition of Image Solving-tree-decomposition-1 svg a first constraint is sent from a leaf to its parent This constraint is b>0 because of the assumption that all variables have domain 0 10 The next steps of the algorithm in Image Solving-tree-decomposition-3 svg Constraint satisfaction 2006-02-18 own assumed Tizio |