Summary of basic 2D constraint solving

Abstract

This summary reviews basic techniques that are widely available for solving 2D geometric constraint problems. Special attention is devoted to a graph-based approach; different phases of this approach are described and some analysis of them is done. Specifically, we review the triangle decomposition of the graph analysis phase discussing the Church-Rosser property it satisfies and pointing out how to extend the analysis phase when adding more complex primitives, especially variable-radius circles.