Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
A k-tree generalization that characterized consistency of dimensioned engineering drawings
SIAM Journal on Discrete Mathematics
An incremental constraint solver
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Solving polynomial systems for curve, surface and solid modeling
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
What is a parametric family of solids?
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Solving geometric constraints by homotopy
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
A constraint-based manipulator toolset for editing 3D objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Extended variational design technology—foundation for integrated design automation
Proceedings of the fifth ACM symposium on Solid modeling and applications
Software architecture for a constraint-based virtual environment
Proceedings of the ACM symposium on Virtual reality software and technology
A modular geometric constraint solver for user interface applications
Proceedings of the 14th annual ACM symposium on User interface software and technology
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
Solving Geometric Constraints By Homotopy
IEEE Transactions on Visualization and Computer Graphics
Solving Systems of Polynomial Equations
IEEE Computer Graphics and Applications
Helping the Designer in Solution Selection: Applications in CAD
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A Case Study in Geometric Constructions
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Planning Geometric Constraint Decomposition via Optimal Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
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
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
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
Interactive handling of a construction plan in CAD
Geometric modeling
Revisiting variable radius circles in constructive geometric constraint solving
Computer Aided Geometric Design
Numerical decomposition of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
A framework for geometric constraint satisfaction problem
Proceedings of the 2006 ACM symposium on Applied computing
Spatial geometric constraint solving based on k-connected graph decomposition
Proceedings of the 2006 ACM symposium on Applied computing
Parallel algorithms on geometric constraint solving
Proceedings of the 2007 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
Treedecomposition of geometric constraint graphs based on computing graph circuits
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
Using invariance under the similarity group to solve geometric constraint systems
Computer-Aided Design
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design
Geometric constraints within feature hierarchies
Computer-Aided Design
A correct rule-based geometric constraint solver
Computers and Graphics
A constraint-based dynamic geometry system
Computer-Aided Design
Solving geometric constraints invariant modulo the similarity group
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
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
Detecting all dependences in systems of geometric constraints using the witness method
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
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
Planar generalized stewart platforms and their direct kinematics
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A generalized Malfatti problem
Computational Geometry: Theory and Applications
Interrogating witnesses for geometric constraint solving
Information and Computation
Decomposition of geometrical constraint systems with reparameterization
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Directed graphs, decompositions, and spatial linkages
Discrete Applied Mathematics
Hi-index | 0.00 |