Geometric constraint problems and solution instances

Abstract

Geometric constraint solving is a growing field devoted to solve geometric problems defined by relationships, called constraints, established between the geometric elements. In this work we show that what characterizes a geometric constraint problem is the set of geometric elements on which the problem is defined. If the problem is wellconstrained, a given solution instance to the geometric constraint problem admits different representations defined by measuring geometric relationships in the solution instance.