Parametric design and its impact on solid modeling applications
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Graph-based approach for solving geometric constraint problems
Graph-based approach for solving geometric constraint problems
Symbolic constraints in constructive geometric constraint solving
Journal of Symbolic Computation - Special issue: parametric algebraic curves and applications
A ruler-and-compass geometric constraint solver
GMCAD '96 Proceedings of the fifth IFIP TC5/WG5.2 international workshop on geometric modeling in computer aided design on Product modeling for computer integrated design and manufacture
Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
Geometric Constraint Solving and Applications
Geometric Constraint Solving and Applications
Constraint management for collaborative design
Constraint management for collaborative design
A correct rule-based geometric constraint solver
Computers and Graphics
A constraint solving-based approach to analyze 2D geometric problems with interval parometers
Proceedings of the sixth ACM symposium on Solid modeling and applications
Solving spatial basic geometric constraint configurations with locus intersection
Proceedings of the seventh ACM symposium on Solid modeling and applications
Revisiting decomposition analysis of geometric constraint graphs
Proceedings of the seventh ACM symposium on Solid modeling and applications
A Constraint Programming Approach for Solving Rigid Geometric Systems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Hybrid Method for Solving Geometric Constraint Problems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms
PPSN VII Proceedings of the 7th International Conference on Parallel Problem Solving from Nature
Revisiting variable radius circles in constructive geometric constraint solving
Computer Aided Geometric Design
Combining symbolic and numerical solvers to simplify indecomposable systems solving
Proceedings of the 2008 ACM symposium on Applied computing
A constraint-based dynamic geometry system
Proceedings of the 2008 ACM symposium on Solid and physical modeling
A constraint solver to define correctly dimensioned and overdimensioned parts
Computer-Aided Design
A constraint-based dynamic geometry system
Computer-Aided Design
Using the witness method to detect rigid subsystems of geometric constraints in CAD
Proceedings of the 14th ACM Symposium on Solid and Physical Modeling
Example-based procedural modelling by geometric constraint solving
Multimedia Tools and Applications
Hi-index | 0.00 |
In the past few years, there has been a strong trend towards developing parametric, computer-aided design systems based on geometric constraint solving. An effective way to capture the design intent in these systems is to define relationships between geometric and technological variables. In general, geometric constraint solving including functional relationships requires a general approach and appropriate techniques to achieve the expected functional capabilities. This work reports on a hybrid method that combines two geometric constraint solving techniques: constructive and equational. The hybrid solver has the capability of managing functional relationships between dimension variables and variables representing conditions external to the geometric problem. The hybrid solver is described as a rewriting system and is shown to be correct.