Treedecomposition of geometric constraint graphs based on computing graph circuits | Publicación