An ATMS-based geometric constraint solver for 3D CAD

The authors have developed a constraint-based method of describing features. Every feature is controlled by geometric constraints, which naturally specify the dimensioning information that reflects the designer's intent. An ATMS-based geometric reasoning system is proposed that efficiently evaluates the constraints in order to determine geometric attributes, and detects over-constrained situations in order to resolve conflicts among the constraints.<<ETX>>