A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

S. Bhansali, G. A. Kramer, T. J. Hoar

An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been sugg…