Geometric Constraint Solving (C. M. Hoffmann)


A Geometric Constraint Solver
CAD 27, 1995, 487-501; (with W. Bouma, I. Fudos, J. Cai, R. Paige).

Geometric Constraints for CAGD
in Mathematical Methods for Curves and Surfaces, M. Daehlen, T. Lyche, L. Schumaker, eds., Vanderbilt University Press, 1995, 237-254; (with J. Peters).

Geometric Constraint Solving in R2 and R3
in Computing in Euclidean Geometry, second edition, D. Z. Du and F. Hwang, eds., World Scientific Publishing, Singapore, 1995, 266--298; (with P. Vermeer).

A Spatial Constraint Problem
Computational Kinematics '95, J.-P. Merlet and B. Ravani, eds., Kluwer Academic Publ., 1995, 83--92; (with P. Vermeer).

Correctness Proof of a Geometric Constraint Solver
Intl J Comp Geometry and Applic 6, 1996, 405-420; (with I. Fudos).

Constraint-Based Parametric Conics for CAD
CAD 28, 1996, 91-100; (with I. Fudos).

Symbolic Constraints in Geometric Constraint Solving
J for Symbolic Computation 23, 1997, 287--300; (with R. Joan-Arinyo).

A graph-constructive approach to solving systems of geometric constraints
ACM Trans on Graphics 16, 1997, 179--216; (with I. Fudos).

Finding Solvable Subsets of Constraint Graphs
Springer LNCS 1330, G. Smolka, ed., 1997, 463--477; (with A. Lomonosov and M. Sitharam).

Geometric Constraint Decomposition
Geometric Constr Solving and Appl., B. Bruderlin and D. Roller, eds, 1998, Springer, 170--195; (with A. Lomonosov and M. Sitharam).

Variational Constraints in 3D
Proc. Intl Conf on Shape Modeling and Appl, Aizu, Japan, 1999; 90-97; (with C. Durand).

Planning Geometric Constraint Decompositions Via Graph Transformations
Proc. AGTIVE '99, Springer LNCS 1779, Nagl and Schurr, eds., 1999, 309--324; (with A. Lomonosov and M. Sitharam)

A Systematic Framework for Solving Geometric Constraints Analytically
JSC 30, 2000, 493-520; (with C. Durand).

On Spatial Constraint Solving Approaches
Proc. ADG 2000, ETH Zurich, Springer Verlag, in press; (with B. Yuan).

Decomposition Plans for Geometric Constraint Problems, Part I: Performance Measures for CAD
JSC 31, 2001, 367-408; (with A. Lomonosov and M. Sitharam).

Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms
JSC 31, 2001, 409-428; (with A. Lomonosov and M. Sitharam).

Variable-Radius Circles in Cluster Merging, Part I: Translational Clusters
CAD 33, 2001, in press; (with C.-S. Chiang).

Variable-Radius Circles in Cluster Merging, Part II: Rotational Clusters
CAD 33, 2001, in press; (with C.-S. Chiang).

Solving Spatial Basic Geometric Constraint Configurations with Locus Intersection
Solid Modeling '02, 2002, in press; (with X.-S. Gao and W. Yang).

A Brief on Constraint Solving
Unabridged version; abridged version to appear in CAD&A 2005; (with R. Joan-Arinyo).