Decomposition of geometric constraint graphs based on computing fundamental circuits. Correctness and complexity | Publicación