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
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
Geometric construction by assembling solved subfigures
Artificial Intelligence
Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
Solving Geometric Constraints By Homotopy
IEEE Transactions on Visualization and Computer Graphics
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Hi-index | 0.00 |
We propose an algorithm for solving geometric constraint problems. The algorithm has linear complexity for constrained systems without loops, and is of quadratic complexity for constraint problems with loops. This algorithm is complete for constraint problems about simple polygons. The key of the algorithm is to combine the idea of graph based methods for geometric constraint solving and geometric transformations from rule-based methods.