Automated Software Synthesis:
An Application in Mechanical CAD
by Sanjay Bhansali, Tim J. Hoar
Geometric Constraint Satisfaction:
- Given: a set of geometric bodies or geoms
- Given: constraints among the bodies
- Find: configuration of the bodies that satisfies all
the constraints.
Solutions to this problem are needed in mechanical CAD
(computer-aided design).
Contents
Page-10
Prev
Next
Page+10
Index