Towards a better integration of modelers and black box constraint solvers within the product design process

Jean Philippe Pernot, Dominique Michelucci, Marc Daniel, Sebti Foufou

Research output: Contribution to journalArticle


This paper presents a new way of interaction between modelers and solvers to support the Product Development Process (PDP). The proposed approach extends the functionalities and the power of the solvers by taking into account procedural constraints. A procedural constraint requires calling a procedure or a function of the modeler. This procedure performs a series of actions and geometric computations in a certain order. The modeler calls the solver for solving a main problem, the solver calls the modeler’s procedures, and similarly procedures of the modeler can call the solver for solving sub-problems. The features, specificities, advantages and drawbacks of the proposed approach are presented and discussed. Several examples are also provided to illustrate this approach.

Original languageEnglish (US)
Pages (from-to)147-173
Number of pages27
JournalAnnals of Mathematics and Artificial Intelligence
Issue number2-4
StatePublished - Apr 15 2019



  • Constraints
  • Geometric modeling
  • Modeler
  • Procedural constraints
  • Solver

ASJC Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Cite this