A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Sketch-based pruning of a solution space within a formal geometric constraint solver
2000
Artificial Intelligence
In CAD systems, formal geometric solvers enable the designer to draw a sketch and to provide constraints that are compiled into a construction plan by symbolic geometric reasoning. Then the plan is interpreted in order to generate the required figure. In case there are multiple solutions, they allow to scan the entire solution space. But when the number of solutions becomes too high, it is very time-consuming to examine each of them to determine which one is the closest to the user's will. In
doi:10.1016/s0004-3702(00)00061-8
fatcat:pisfezbuond7fnxt2plalqizly