Keywords: Passing-constraint.svg In a tree decomposition every edge breaks the graph in two parts The variables in the separator of the edge are the interface of one part of the graph with the other A constraint summarizing how this part affect these variables can be built and sent to the other node Constraint satisfaction 2006-02-25 own assumed Tizio |