Helping the Designer in Solution Selection: Applications in CAD

  • Caroline Essert-Villard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2330)


In CAD, symbolic geometric solvers allow to solve constraint systems, given under the form of a sketch and a set of constraints, by computing a symbolic construction plan describing how to build the required figure. But a construction plan does not usually define a unique figure, and the selection of the expected figure remains an important topic. This paper expose three methods, automatic or interactive, to help the designer in the exploration of the solution space. These methods guide him towards the expected solution, by basing the construction on the observation of the sketch. A set of examples from a large range of application domains illustrate the different methods.


  1. 1.
    Anderl, R. and Mendgen, R.: Parametric design and its impact on solid modeling applications. In proceedings of 3rd ACM/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 1–12Google Scholar
  2. 2.
    Dufourd, J.-F. and Mathis, P. and Schreck, P.: Formal resolution of geometric constraint systems by assembling. In proceedings of the ACM-Siggraph Solid Modelling Conference, ACM Press (1997) 271–284Google Scholar
  3. 3.
    Sohrt, W. and Brüderlin, B.: Interaction with Constraints in 3D Modeling. In proceedings of Symposium on Solid Modeling Foundations and CAD/CAM Applications, ACM Press (1991) 387–396Google Scholar
  4. 4.
    Owen, J.: Algebraic solution for geometry from dimensional constraints. In proceedings of the 1st ACM Symposium of Solid Modelling and CAD/CAM Applications, ACM Press (1991) 397–407Google Scholar
  5. 5.
    Aldefeld, B.: Variations of geometries based on a geometric-reasoning method. Computer-Aided Design, Elsevier Science (1988) 20(3):117–126zbMATHCrossRefGoogle Scholar
  6. 6.
    Essert-Villard, C. and Schreck, P. and Dufourd, J.-F.: Sketch-based pruning of a solution space within a formal geometric constraint solver. Artificial Intelligence, Elsevier Science (2000) 124:139–159zbMATHMathSciNetGoogle Scholar
  7. 7.
    Bouma, W. and Fudos, I. and Hoffmann, C. and Cai, J. and Paige, R.: Geometric constraint solver. Computer-Aided Design, Elsevier Science (1995) 27(6):487–501zbMATHCrossRefGoogle Scholar
  8. 8.
    Lamure, H. and Michelucci, D.: Solving Constraints Systems by Homotopy. In proceedings of 3rd ACM/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 263–269Google Scholar
  9. 9.
    Jermann, C. and Trombettoni, G. and Neveu, B. and Rueher, M.: A Constraint Programming Approach for Solving Rigid Geometric Systems. In proceedings of CP2000, Springer LNCS 1894 (2000) 233–248Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Caroline Essert-Villard
    • 1
  1. 1.Laboratoire des Sciences de l’Image, de l’Informatique et de la TélédétectionUMR CNRS 7005 — Université Louis PasteurIllkirchFrance

Personalised recommendations