TY - RPRT TI - A Constraint Model for the Tree Decomposition of a Graph AU - Benjamin Bumpus AU - Patrick Prosser AU - James Trimble PY - 2019 UR - https://arxiv.org/abs/1908.02530 ID - 1908.02530 ER -