Geometric Constraint Solver

Abstract

The paper reports on the development of a 2D geometric constraint solver. The solver is a major component of a new generation of cad systems based on a high-level geometry representation. The solver uses a graph-reduction directed algebraic approach, and achieves interactive speed. The paper describes the architecture of the solver and its basic capabilities. Then, it discusses in detail how to extend the scope of the solver, with particular emphasis on the theoretical and human factors involved in finding a solution, in an exponentially large search space, so that the solution is appropriate to the application, and so that the way of finding it is intuitive for an untrained user.

Department(s)

Mathematics and Statistics

Keywords and Phrases

constraint solving; graphs

International Standard Serial Number (ISSN)

0010-4485

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 1995 Elsevier, All rights reserved.

Publication Date

01 Jan 1995

Share

 
COinS