Variation of geometrics based on a geometric-reasoning method
Computer-Aided Design
Shortest-path problems and molecular conformation
Discrete Applied Mathematics - Applications of Graphs in Chemistry and Physics
Dimension-driven geometry in CAD: a survey
Theory and practice of geometric modeling
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Handbook of theoretical computer science (vol. B)
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Erep: An editable, high-level representation for geometric design and analysis
Selected and Expanded Papers from the IFIP TC5/WG5.2 Working Conference on Geometric Modeling for Product Realization
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Constraint solving for computer-aided design
Constraint solving for computer-aided design
Implementing a culling and self-intersection algorithm for stereolithography files in Ada 95
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Extended variational design technology—foundation for integrated design automation
Proceedings of the fifth ACM symposium on Solid modeling and applications
A constraint solving-based approach to analyze 2D geometric problems with interval parometers
Proceedings of the sixth 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
Planning Geometric Constraint Decomposition via Optimal Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Using Graph Decomposition for Solving Continuous CSPs
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach for Solving Rigid Geometric Systems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
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
A Hybrid Method for Solving Geometric Constraint Problems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
On Spatial Constraint Solving Approaches
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
A hybrid approach to geometric constraint solving with graph analysis and reduction
Advances in Engineering Software
Transforming an under-constrained geometric constraint problem into a well-constrained one
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Geometric constraint solving via C-tree decomposition
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Specification of freeform features
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Optimization-Based Virtual Surface Contact Manipulation at Force Control Rates
VR '00 Proceedings of the IEEE Virtual Reality 2000 Conference
Engineering Drawings Recognition Using a Case-based Approach
ICDAR '03 Proceedings of the Seventh International Conference on Document Analysis and Recognition - Volume 1
Revisiting variable radius circles in constructive geometric constraint solving
Computer Aided Geometric Design
A constructive approach to calculate parameter ranges for systems of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Solution space navigation for geometric constraint systems
ACM Transactions on Graphics (TOG)
Spatial geometric constraint solving based on k-connected graph decomposition
Proceedings of the 2006 ACM symposium on Applied computing
Elements for a modular dynamic geometry system
Proceedings of the 2008 ACM symposium on Applied computing
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
Dealing with redundancy and inconsistency in constructive geometric constraint solving
Advances in Engineering Software
Implicit geometric constraint detection in freehand sketches using relative shape histogram
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
A constraint-based system for product design and manufacturing
Robotics and Computer-Integrated Manufacturing
Automatic parameter tuning with a Bayesian case-based reasoning system. A case of study
Expert Systems with Applications: An International Journal
Characterizing 1-dof Henneberg-I graphs with efficient configuration spaces
Proceedings of the 2009 ACM symposium on Applied Computing
Treedecomposition of geometric constraint graphs based on computing graph circuits
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design
Geometric constraints within feature hierarchies
Computer-Aided Design
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
Computer-Aided Design
A constraint-based dynamic geometry system
Computer-Aided Design
Experimental evaluation of an automatic parameter setting system
Expert Systems with Applications: An International Journal
Parallel search algorithm for geometric constraints solving
ICVR'07 Proceedings of the 2nd international conference on Virtual reality
PIGP: a pen-based intelligent dynamic lecture system for geometry teaching
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Using the witness method to detect rigid subsystems of geometric constraints in CAD
Proceedings of the 14th ACM Symposium on Solid and Physical Modeling
A 2D geometric constraint solver using a graph reduction method
Advances in Engineering Software
Proceedings of the 2011 ACM Symposium on Applied Computing
Feature-based 3D morphing based on geometrically constrained spherical parameterization
Computer Aided Geometric Design
A parametric feature-based approach to reconstructing traditional filigree jewelry
Computer-Aided Design
Interrogating witnesses for geometric constraint solving
Information and Computation
Example-based procedural modelling by geometric constraint solving
Multimedia Tools and Applications
Can machines interpret line drawings?
SBM'04 Proceedings of the First Eurographics conference on Sketch-Based Interfaces and Modeling
Why do simple algorithms for triangle enumeration work in the real world?
Proceedings of the 5th conference on Innovations in theoretical computer science
| Hi-index | 0.00 |
A graph-constructive approach to solving systems of geometric constraints capable of effeciently handling well-constrained, overconstrained, and underconstrained configurations is presented. The geometric constraint solver works in two phases: in the analysis phase the constraint graph is analyzed and a sequence of elementary construction steps is derived, and then in the construction phase the sequence of construction steps in actually carried out. The analysis phase of the algorithm is described in detail, its correctness is proved, and an efficient algorith to realized it is presented. The scope of the graph analysis is then extended by utilizing semantic information in the form of anlge derivations, and by extending the repertoire of the construction steps. Finally, the construction phase is briefly discussed.