Conflict-based pruning of a solution space within a constructive geometric constraint solver | Publicación