A Constraint Model for the Tree Decomposition of a Graph

Benjamin Bumpus, Patrick Prosser, James Trimble

We present a constraint model for the problem of producing a tree decomposition of a graph. The inputs to the model are a simple graph G, the number of nodes in the desired tree de…