Automatic dimensioning in design for manufacturing
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Conditions for unique graph realizations
SIAM Journal on Computing
Computer algebra systems: a practical guide
Computer algebra systems: a practical guide
Decomposition plans for geometric constraint systems, part I: performance measures for CAD
Journal of Symbolic Computation
Decomposition plans for geometric constraint problems, part II: new algorithms
Journal of Symbolic Computation
Geometric Constraint Solving and Applications
Geometric Constraint Solving and Applications
Geometric constraint solving via C-tree decomposition
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
SMI '99 Proceedings of the International Conference on Shape Modeling and Applications
Geometric constraint solving: The witness configuration method
Computer-Aided Design
Combinatorics and the rigidity of CAD systems
Computer-Aided Design
Hi-index | 0.00 |
In geometric constraints solving, the detection of dependences and the decomposition of the system into smaller subsystems are two important steps that characterize any solving process, but nowadays solvers, which are graph-based in most of the cases, fail to detect dependences due to geometric theorems and to decompose such systems. In this paper, we discuss why detecting all dependences between constraints is a hard problem and propose to use the witness method published recently to detect both structural and non structural dependences.We study various examples of constraints systems and show the promising results of the witness method in subtle dependences detection and systems decomposition.