Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Geometric constraint solving: The witness configuration method
Computer-Aided Design
Body-and-cad geometric constraint systems
Computational Geometry: Theory and Applications
Interrogating witnesses for geometric constraint solving
Information and Computation
Hi-index | 0.00 |
This paper proposes a new tool for decision support to address geometric over-constrained problems in Computer Aided Design (CAD). It concerns the declarative modeling of geometrical problems. The core of the coordinate free solver used to solve the Geometric Constraint Satisfaction Problem (GCSP) was developed previously by the authors. This research proposes a methodology based on Michelucci's witness method to determine whether the structure of the problem is over-constrained. In this case, the authors propose a tool for assisting the designer in solving the over-constrained problem by ensuring the consistency of the specifications. An application of the methodology and tool is presented in an academic example.