A. J. , F. H. Et, and M. P. , Consistency restoration and explanations in dynamic CSPs -application to configuration, Artificial Intelligence, vol.135, pp.199-234, 2002.

]. Apt03 and . R. Apt-k, Principles of Constraint Programming, 2003.
DOI : 10.1017/CBO9780511615320

A. Arbaoui, Aide à la décision pour la définition d'un système éolien : adéquation au site et à un réseau faible, Thèse de doctorat, 2006.

]. Bah95, . D. Bahler, . Dupont-c, and B. J. Et, Mixed quantitative/qualitative method for evaluating compromise solutions to conflicts in collaborative design, Artificial Intelligence for Engineering Design Analysis and Manufacturing (AIEDAM), vol.9, issue.4, pp.325-336, 1995.

]. Ben94, M. F. Benhamou, V. Et, and . P. Hentenryck, CLP(Intervals) Revisited, International Symposium on Logic Programming, pp.124-138, 1994.

]. Ben95 and . F. Benhamou, Interval constraint logic programming, Constraint Programming : Basics and Trends, pp.1-21

B. F. Et and O. W. , Applying Interval Arithmetic to Real", Integer and Boolean Constraints, Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997.

]. Ben99a, . F. Benhamou, G. L. Goualard-f, and P. Et, Revising Hull and Box Consistency, Proceedings of International Conference on Logic Programming, pp.230-244, 1999.

]. Ben99b, . F. Benhamou, L. E. Goualard-f, and C. M. Et, An Algorithm to Compute Inner approximations of Relations for Interval Constraints, proceedings of the third Int. Ershov memorial Conference on Perspectives of system informatics (PSI'99), 1999.

]. Ben00, M. E. Bensana, and V. G. Et, Dealing with Uncertainty in Design and Configuration Problems, Configuration 14th European Conference on Artificial Intelligence, 2000.

]. Ben04 and . H. Bennaceur, A comparison between CSP and SAT techniques, CONSTRAINT Journal, vol.9, issue.2, pp.123-138, 2004.

B. F. Et and G. L. , Continuous and Interval Constraints

T. Walsh, Handbook of constraint programming, chapitre 16, 2006.

B. C. Et and B. J. , Cost management for today's advanced manufacturing : The CAM-I conceptual design, 1988.

B. C. , N. B. Et, and T. G. , Using Graph Decomposition for Solving Continuous CSPs, CP'98, 1998.

B. C. Et and R. A. , Metaheuristics in combinatorial optimization : Overview and conceptual comparison, ACM Computing Surveys, vol.35, issue.3, pp.268-308, 2003.

B. J. Et and B. D. , Constraint-based software for concurrent engineering, IEEE Computer, vol.26, issue.1, pp.66-68, 1993.

]. Cav95 and . J. Cavailles, Méthodes de management de programme, 1995.

]. Cha92, . A. Chakrabarti, . P. Bligh-t, and H. T. Et, Towards a decision-support framework for the embodiment phase of mechanical design, Artificial Intelligence in Engineering, p.7, 1992.

C. D. Et and W. G. , Interval arithmetic specifications, 1997.

D. T. Et and B. W. , Automated design for concurrent engineering, IEEE Expert Intelligent Systems & their Applications, vol.9, issue.5, pp.35-42, 1994.

D. R. Et and B. C. , Domain Filtering Consistencies, Journal of Artificial Intelligence Research, vol.14, pp.205-230, 2001.

]. Din90, . M. Dincbas, . Simonis-h, and . Van-hentenryck-p, Solving Large Combinatorial Problems in Logic Programming, J. Log. Program, vol.8, issue.1, pp.75-93, 1990.

]. Far96, L. H. Fargier, and S. T. Et, Mixed Constraint Satisfaction : A Framework for Decision Problems under Incomplete Knowledge, AAAI-96, pp.175-180, 1996.

]. Far02, . H. Fargier, H. L. Et, . H. Fargier, and . Vilarem-m.-c, Configuration à base de contraintes Laboratoire des Sciences de l'Information et des SystèmesCompiling CSPs into tree-driven automata for interactive Solving, UMR CNRS 6168), pp.263-287, 2002.

]. Fis00 and . Fischer-x, Stratégie de conduite du calcul pour l'aide à la décision en conception mécanique intégrée; application aux appareils à pression, Thèse de doctorat, ENSAM, 2000.

]. Fis02, S. P. Fischer-x, . P. Nadeau-j, J. P. Et, P. Chedmail et al., Decision support in integrated mechanical design through qualitative constraintsConstraint based Approach Combined Résolution par satisfaction de contraintes pour l'aide à la décision en conception architecturale with Metamodeling Techniques to Support Embodiment Design, SCI'04. [Fre78] FREUDER E.C., "Synthesizing Constraint Expressions, pp.35-42958, 1978.

G. E. Et and W. , Interactive configuration using constraint satisfaction techniques, Artificial Intelligence and Manufacturing Research Planning Workshop, AAAI Technical Report FS-96-03, pp.37-44, 1996.

G. E. Et and F. B. , Solving Mixed and Conditional Constraint Satisfaction Problems, Constraints, vol.8, pp.107-141, 2003.

]. Gol06, . A. Goldsztejn, and J. L. Et, Inner and outer approximations of existentially quantified equality constraints, Poceedings of CP2006, pp.198-212, 2006.

G. F. Et and J. C. , A Reinforcement Learning Approach to Interval Constraint Propagation". Accepté pour publication dans CONSTRAINTS, 2007.

]. Gra99, G. L. Granvilliers, and B. F. Et, Box Consistency through Weak Box Consistency, Proceedings of the eleventh IEEE International Conference on Tools with Artificial Intelligence, pp.373-380, 1999.

]. Gra06, . L. Granvilliers, and B. F. Et, Algorithm 852: Realpaver: An interval solver using constraint satisfaction techniques, ACM TOMS, vol.32, issue.1, pp.138-156, 2006.

]. Had02, Contribution à la conception de produits à forte diversité et de leur chaîne logistique : une approche par contraintes, Thèse de doctorat, 2002.

H. F. Et and M. , Multi-criteria optimal design of parallel manipulators based on interval analysis, Mechanism and Machine Theory, pp.151-171, 2005.

H. J. Stone-r, S. S. Mcadams-d, and W. K. Et, A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts, Research in Engineering Design, issue.2, pp.1365-82, 2001.

H. Kon and T. V. , Aide à la décision pour la conception préliminaire de procédés d'évaporation flash

]. Hor89, S. K. Hornik, and W. H. Et, Multilayer feedforward network are universal approximates, Neural Networks, vol.2, pp.359-366, 1989.

]. Hor94, . K. Hornik, . Stinchcombe-m, . White-h, and A. P. Et, Degree of Approximation Results for Références bibliographiques Feedforward Networks Approximating Unknow Mappings and Their Derivates, Neural Computation, vol.6, 1994.

H. K. , F. B. Et, and S. I. , CADRE : Casebased geometric design, AI in Engineering, pp.171-183, 1996.

]. Hug99, S. A. Hugget, and N. Et, Global Optimization of a Dryer by using Neural Networks and Genetic Algorithms, AIChE Journal, vol.45, issue.6, pp.1227-1265, 1999.

]. Ide69 and . E. Idel-'cik-i, Memento des pertes de charge, 1969.

]. Kay84, . M. Kays-w, and L. A. Et, Compact Heat Exchangers". Mc Graw-hill book company, 1984.

K. R. Kea02, . B. Kearfott-r, . Kea03, and D. B. Kearfott-r, A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global OptimizationOn Existence and Uniqueness Verification for Non-Smooth FunctionsExistence Verification for Higher Degree Singular Zeros of Complex Nonlinear Systems, ACM Trans. Math. Soft.. Reliable Computing. SIAM J. Numer. Anal, vol.21, issue.846, pp.63-78, 1995.

K. T. Et and G. M. , Progressive Negotiation for Resolving Conflicts Among Distributed Heterogeneous Cooperating Agents, National Conference on Artificial Intelligence, 1994.

K. G. Et and V. P. Beek, A theoretical evaluation of selected backtracking algorithms, Artificial Intelligence, vol.89, pp.365-387, 1997.

]. Lho93 and . O. Lhomme, Consistency Techniques for Numeric CSPs, Proceedings of IJCAI?93, pp.232-238, 1993.

L. C. Stalker-r and S. I. Et, Constraint solving and preference activation for interactive design, Artificial Intelligence for Engineering Design Analysis and Manufacturing (AI- EDAM), vol.12, issue.1, pp.13-27, 1998.

]. Lot99, C. C. Lottaz, S. I. Et, F. B. Mac77, and M. A. , Constraint-based support for collaboration in design and construction, Consistency in Networks of Relations, pp.23-3599, 1999.

J. Merlet, Applications of interval analysis in robotics, Interval methods and their applications, pp.25-27, 2005.

M. F. Et and N. B. , The Electromagnetical Actuators Design Problem: a General and Rational Approach, IEEE Transactions on Magnetics, vol.12, issue.42, pp.3847-3853, 2006.

M. C. , R. M. Et, and L. Y. , Solving constraints over floating point numbers, proceedings of the 7th International Conference on Principles and Practice of Constraint Programing 2001 (CP'2001), pp.524-538, 2001.

M. S. Et and F. , Dynamic Constraint Satisfaction Problems, Proceedings of National Conference on Artificial Intelligence, pp.25-32, 1990.

M. E. Et and R. J. , Chaotic Iteration for Distributed Constraint Propagation

M. R. Moo66, Interval Analysis, 1966.

]. Nev06, C. B. Neveu, and T. G. Et, When Interval Analysis Helps Interblock Backtracking, CP'06, 2006.

]. Osu01 and . B. Sullivan, Constraint-Aided Conceptual Design, 2001.

O. K. Et and A. E. , Modelling Imprecision in Product Design, Proceedings of the Third IEEE International Conference on Fuzzy Systems FUZZ-IEEE '94, pp.346-351, 1994.

]. Oui02, N. S. Ouis, and B. P. Et, COINS: a constraint-based interactive solving system, ICLP'02 12th Workshop on Logic Programming Environments, pp.31-46, 2002.

P. G. Et and B. W. , Engineering Design: A Systematic Approach, 1996.

]. Per02, . Perez-grande-i, and L. T. Et, Optimization of a commercial aircraft environmental control system, Applied Thermal Engineering, vol.22, pp.1885-1904, 2002.

P. C. , J. H. Et, and C. M. , Combining constraint propagation and backtracking for distributed engineering, Constraints & Agents Workshop at AAAI'97, pp.76-82, 1997.

]. Pow05 and S. J. Power-d, Model-driven decision support systems: Concepts and research directions, Decision Support Systems, 2005.

R. S. Fertig-k and S. D. Et, Constraint Management Methodology for Conceptual Design Tradeoff Studies". Design Theory and Methodology Conference, 1996.

[. M. Hartnett-j and G. E. Et, Handbook of heat transfer fundamentals, 1985.

R. F. Van-beek-p and W. T. Et, Handbook of Constraint Programming, 2006.

R. R. Et and G. P. , Robustness and Product Design Families Design Management: A Handbook of Issues and Methods, pp.279-292, 1990.

]. Rum88 and . S. Rump, Algorithms for verified inclusions?theory and practice, Reliability in Computing, pp.109-126, 1988.

S. D. Et and F. E. , Configuration as Composite Constraint Satisfaction, AAAI-96 Fall Symposium on Configuration, pp.28-36, 1996.

]. Sam96, . D. Sam-haroud, and F. B. Et, Consistency Techniques for Continuous Constraints, Constraints, vol.1, pp.85-118, 1996.

]. Sca04a and . D. Scaravetti, Formalisation préalable d'un problème de conception pour l'aide à la décision en conception préliminaire, Thèse de doctorat, 2004.

]. Sca04b, N. D. Scaravetti, S. P. Et, and P. J. , Aided Decision-Making for an Embodiment Design Problem". International IDMME, 2004.

]. Sca05, . D. Scaravetti, P. P. Nadeau-j, and S. P. Et, Structuring of embodiment design Résolution par satisfaction de contraintes pour l'aide à la décision en conception architecturale problem based on the product lifecycle, International Journal of Product Development, vol.2, issue.12, pp.47-70, 2005.

S. T. , F. H. Et, and V. G. , Problème de satisfaction de contraintes valué". Revue d'Intelligence Artificielle, pp.339-373, 1997.

]. Seb07, C. P. Sebastian, N. Et, and F. X. , The Embodiment Design Constraint Satisfaction Problem of the BOOTSTRAP facing interval analysis and Genetic Algorithm based decision support tools, IJIDEM, vol.1, issue.2, pp.99-106, 2007.

]. Sil99, . C. Silaghi-m, . D. Sam-haroud, and F. B. Et, Intelligent Domain Splitting for CSPs with Ordered Domains, Proc. of CP'99. LNCS 1713, pp.488-489, 1999.

]. Smi96, . I. Smith, . A. Stalker-r, and L. C. Et, Creating design objects from cases for interactive spatial composition, AI in Design, pp.97-116

]. Stu97 and . M. Stumpter, An overview of knowledge-based configuration, pp.111-125, 1997.

]. Szy99, R. S. Szykman, and S. R. Et, The Representation of Function in Computer-based Design, Proceedings of the 1999 ASME Design Engineering Technical Conferences (11th International Conference on Design Theory and Methodology). DETC99/DTM-8742, 1999.

]. Tho94 and . A. Thornton, A support tool for constraint processes in embodiment design, ASME Design Theory and Methodology Conference, 1994.

]. Tho99 and . A. Thornton, A Mathematical Framework for the Key Characteristic Process, Research in Engineering Design, vol.11, issue.3, pp.145-157, 1999.

]. Tro07, . G. Trombettoni, and C. G. Et, Constructive Interval Disjunction, Proc. of CP, constraint programming, pp.635-650, 2007.

]. Van92, D. Y. Van-hentenryck-p, and T. Et, A generic arc-consistency algorithm and its specialisation, Artificial Intelligence, vol.57, pp.292-321, 1992.

]. Van97a, M. D. Van-hentenryck-p, and K. D. Et, Solving Polynomial Systems Using Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, pp.797-827, 1997.

R. Van97b, M. L. Van-hentenryck-p, and D. Y. Et, Numerica -A Modelling Language for Global Optimization, 1997.

]. Van98, M. L. Van-hentenryck-p, and B. F. Et, Newton: Constraint Programming over Nonlinear Constraint, Science of Computer Programming, vol.30, pp.83-118, 1998.

]. Van05, . Van-hentenryck-p, and M. Et, Constraint-based local search, 2005.

V. G. Et and S. T. , Maintien de solution dans les problèmes de dynamiques de satisfaction de contraintes : bilan de quelques approches". Revue d'Intelligence Artificielle, pp.269-309, 1995.

V. D. Sam-haroud and S. M. Et, Approximation Techniques for Nonlinear Problems with Continuum of Solutions, SARA'02, 2002.

]. Wal75 and . D. Waltz, Generating semantic descriptions from drawings of scenes with shadows The Psychology of Computer Vision, pp. 19?91, 1975.

Y. Bernard, Péconception de produits, Mémoire d'Habilitation à Diriger des Recherches, INPG, 2001.

[. W. Simpson-t and B. R. , Towards a conceptual design explorer using metamodeling approaches and constraint programming, Proceedings of DETC'03 : ASME International 2003 Design Engineering Technical Conferences and Computers and Information in Engineering Conferences, 2003.

Y. Z. Et and J. A. , On estimating the feasible solution space of design, Computer-Aided Design, vol.29, issue.9, pp.649-655, 1997.

Z. L. Et and Z. P. , Global Aircraft Predesign based on Constraint Propagation and Interval Analysis, CEAS-MADO'01, 2001.

]. Zim04, A. A. Zimmer-l, C. M. Et, and G. L. , Constraint Explorer: a Modelling and Sizing Tool for Engineering Design", invited session on Metamodelling and Constraint Based Problem Solving for Embodiment Design Support Systems in SCI, 2004.

. Porosité-côté-chaud, Porosité côté froid (-) Surface d'échange des plaques