Theoretical Foundations of Geometric Constraint Solving

• Introduction
• Example of an Application of Constraint Solving
• Basic Approaches to Constraint Solving
  • Numerical Algebraic
  • Propagation Methods
  • Symbolic Algebraic
  • Logical Inference and Term Rewriting
  • Graph-Based
• A Graph-Based Two-Dimensional Constraint Solver
  • Allowable Geometries and Constraints
  • Initial Cluster Formation
  • Cluster Merging
  • Basic Construction Steps
  • Graph Transformations
  • Efficiency Considerations
  • Correctness of the Algorithm
  • Geometric Uniqueness