Another Paradigm for Geometric Constraints Solving.
Dominique Michelucci, Sebti Foufou, Loïc Lamarque, David Ménegaux · 2006
Geometric constraints solving often relies on graphbased methods to decompose systems of geometric constraints. These methods have intrinsic and unavoidable limitations which are overcome by the witness method presented here. 1