A Geometric Constraint Solver

By William Bouma-Ioannis Fuclos, Christollh Hoffmann·, J. Cai, R. Paige. 1995

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Structured agents for physical construction (2019, background): “Geometric logical reasoning was a major topic in symbolic logic research (Chou, 1987; Arnon, 1988), leading to geometric theorem-provers (Bouma et al., 1995), rule-based geometric constraint solvers for computer-aided de-sign (Aldefeld, 1988; Schreck et al., 2012), and logic-based optimization for…”
Virtual reality for assembly methods prototyping: a review (2011, background): “Graph constructive approaches are fast, methodical and provide means for developing robust algorithms (Owen 1991; Fudos and Hoffman 1997; Bouma et al. 1995; Fudos and Hoffman 1995).”