A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.

Published in: Automated Deduction in Geometry (1998)

Keyphrases