M. Aldanondo, E. Vareilles, K. Hadj-hamou, and P. Et-gaborit, Aiding design with constraints: an extension of quad trees in order to deal with piecewise functions, International Conference on Industrial Engineering and Systems Management, 2005.
DOI : 10.1061/(ASCE)0887-3801(1999)13:1(23)
URL : https://hal.archives-ouvertes.fr/hal-00452964

M. Aldanondo, E. Vareilles, P. Lamesle, K. Hadj-hamou, and P. Et-gaborit, Interactive configuration and evaluation of a heat treatment operation, Workshop on configuration, International Joint Conference on Artificial Intelligence, 2005.

M. Aldanondo, E. Vareilles, P. Lamesle, K. Hadj-hamou, and P. Et-gaborit, Modélisation et exploitation des connaissances en design for x : une application en traitement thermique, 2005.

R. Barták, On line guide to Constraint Programming, 1998.

O. Beaumont, Comment obtenir un résultat sûr quand les données sont incertaines, Thèse de doctorat, 1999.

F. Benhamou, Heterogeneous constraint programming, 5th international conference on algebraic and logic programming, pp.62-76, 1996.

F. Benhamou, D. Mc-allester, and P. Et-van-hentenryck, Clp(intervals) revisited, ILPS'94, pp.1-21, 1994.

C. Bessière and M. Et-cordier, Arc-consistency and arc-consistency again, AAAI, pp.108-113, 1993.
DOI : 10.1016/0004-3702(94)90041-8

C. Bessière, P. Meseguer, E. Freuder, and J. Et-larrosa, On forward checking for nonbinary constraint satisfaction, Proceedings CP, 1999.

C. Bessière and J. Et-régin, An arc-consistency algorithm optimal in the number of constraint checks, Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, 1994.
DOI : 10.1109/TAI.1994.346465

J. Briggs and D. Et-peat, Un miroir turbulent -Guide illustré de la théorie du chaos. Harper and Row publishers, 1991.

B. Chandrasekaran, Design problem solving : a task analysis, In Artificial Intelligence Magazine, vol.11, pp.59-71, 1990.

P. Codognet and F. Et-rossi, Solving and programming with soft constraints : Theory and practice, European Conference on Artificial Intelligence, 2000.

P. David, M. Veaux, E. Vareilles, and J. Et-maury, Virtual heat treatment tool for monitoring and optimising heat treatment process, 2 nd International Conference on Thermal Process Modelling and Computer Simulation, 2003.

E. Davis, Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987.
DOI : 10.1016/0004-3702(87)90091-9

A. Dechter and R. Et-dechter, Belief maintenance in dynamic constraints networks, Seventh National Conference on Artificial Intelligence, pp.37-42, 1988.

F. Delobel, Résolution de systèmes de contraintes réelles non linéaires, Thèse de doctorat, 2000.

B. Faltings, Arc-consistency for continuous variables, Artificial Intelligence, vol.65, issue.2, pp.363-376, 1994.
DOI : 10.1016/0004-3702(94)90022-1

R. Finkel and J. Et-bentley, Quadtrees : a data structure for retrieval on composite keys, Acta Infomatica, pp.1-9, 1974.
DOI : 10.1007/bf00288933

X. Fischer, Staté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, 2000.

E. Freuder, Synthesizing constraint expressions, Communications of the ACM, vol.21, issue.11, pp.958-966, 1978.
DOI : 10.1145/359642.359654

E. Gelle, On the generation of locally consistent solution spaces in mixed dynamic constraint problems, Thèse de doctorat, 1998.

E. Gelle and R. Et-weigel, Interactive Configuration based on Incremental Constraint Satisfaction, IFIP, pp.117-126, 1995.
DOI : 10.1007/978-0-387-34930-5_9

L. Geneste and M. Et-ruet, Experience based configuration, International Joint Conference on Artificial Intelligence Workshop on Configuration, 2001.

F. Glover and M. Et-laguna, Tabou search, Modern Heuristic Techniques for Combinatorial Problems, 1993.

S. Golumb and L. Et-baumbert, Backtrack Programming, Journal of the ACM, vol.12, issue.4, pp.516-524, 1965.
DOI : 10.1145/321296.321300

K. Hadj-hamou, Contribution à la conception de produits à forte diversité et de leur chaîne logistique : une approche par contraintes, Thèse de doctorat, Institut National Polytechnique de, 2002.

E. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, Marcel Dekker, 1992.
DOI : 10.1016/B978-0-12-505630-4.50021-3

R. Haralick and G. Elliot, Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, vol.14, issue.3, pp.263-313, 1980.
DOI : 10.1016/0004-3702(80)90051-X

A. Haselböck, Knowledge-based Configuration and Advanced Constraint Technologies, Thèse de doctorat, 1993.

E. Hyvönen, Constraint reasoning based on interval arithmetic, International Joint Conference on Artificial Intelligence, pp.1193-1198, 1989.

, ANSI/IEEE. IEEE standard for binary floating point arithmetic, IEEE754, 1985.

R. Kearfott, Rigorous Global Search : Continuous Problems, 1996.
DOI : 10.1007/978-1-4757-2495-0

S. Kirkpatrick, C. Gelatt, and M. Et-vecchi, Optimization by simulated annealing, Science, pp.671-680, 1983.

J. Kolodner, Case-based reasoning, 1993.

R. Le, Dictionnaire de la langue française, 1996.

O. Lhomme, Consistency techniques for numeric CSP, International Joint Conference on Artificial Intelligence, pp.232-238, 1993.

O. Lhomme and M. Et-rueher, Application des techniques CSP au raisonnement sur les intervalles. Revue d'intelligence artificielle, pp.283-311, 1997.

L. Lobjois and M. Et-lemaitre, Coopération entre méthodes complètes et incomplètes pour la résolution de (V)CSP : une tentative d'inventaire, Journées Nationales de la Résolution Pratique de Problèmes NP-complets, pp.67-73, 1997.

C. Lottaz, Collaborative Design using Solution Spaces, Thèse de doctorat, 2000.

A. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

A. Mackworth and E. Et-freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, vol.25, issue.1, pp.65-74, 1985.
DOI : 10.1016/0004-3702(85)90041-4

S. Mittal and B. Et-falkenhainer, Dynamic constraint satisfaction problems, AAAI, pp.25-32, 1990.

U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information sciences, pp.95-132, 1974.
DOI : 10.1016/0020-0255(74)90008-5

R. Moore, Interval Analysis, 1966.

T. Mulyanto, Utilisation des techniques de programmation par contraintes pour la conception d'avions, Thèse de doctorat, École Nationale Supérieure de l'Aéronautique et de l'Espace, 2002.

M. Oliveira, A. Moreira, A. Loureiro, S. Denis, and A. Et-simon, Effet du mode de refroidissement sur les déformations produites par la trempe martensitique, 5 e congrès international sur les traitements thermiques des matériaux, pp.1814-1821, 1986.

G. Pahl and W. Et-beitz, Engineering Design : a Systematic Approach, 1996.

F. Rossi, C. Petrie, and V. Et-dhar, On the equivalence of constraint satisfaction problems, European Conference on Artificial Intelligence, pp.550-556, 1990.

M. Rueher, Contraintes sur les domaines continus, 2002.

M. Ruet, Capitalisation et réutilisation d'expériences dans un contexte multiacteur, Thèse de doctorat, Institut National Polytechnique de, 2002.

D. Sabin and E. Et-freuder, Configuration as composite constraint satisfaction, Artificial Intelligence and Manufacturing Research Planning Workshop, pp.153-161, 1996.

M. Sabin and E. Et-freuder, Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems, American Association for Artificial Intelli- gence, 1999.

D. Sam, Constraint Consistency Techniques for Continuous Domains, Thèse de doctorat, 1995.

H. Samet, The Quadtree and Related Hierarchical Data Structures, Computing surveys, pp.187-260, 1984.
DOI : 10.1145/356924.356930
URL : http://www.cs.umd.edu/~hjs/pubs/SameCSUR84-ocr.pdf

A. Saucier, Un modèle multi-vues du produit pour le développement et l'utilisation de systèmes d'aide à la conception en ingénierie mécanique, Thèse de doctorat, 1997.

T. Soininen and E. Et-gelle, Dynamic constraint satisfaction in configuration, American Association for Artificial Intelligence, Workshop on Configuration, 1999.

E. Vareilles, M. Aldanondo, K. Hadj-hamou, P. Gaborit, P. Lamesle et al., , 2003.

, Modélisation des connaissances et aide à la décision : une application en traitement thermique, 5 ième Congrès International de Génie Industriel

E. Vareilles, K. Hadj-hamou, M. Aldanondo, and P. Et-gaborit, Extension des quadtrees pour la représentation et le filtrage des contraintes numériques définies par morceaux, Journées Francophones de Programmation par Contraintes, 2005.

C. Vargas, Modélisation du processus de conception en ingeniérie des systèmes mécaniques . Mise en oeuvre basée sur la propagation de contraintes. Application à la conception d'une culasse automobile, Thèse de doctorat, 1995.

M. Veaux, Prévision des cinétiques de transformation de phases, des contraintes et des déformations lors de la transformation bainitique, Thèse de doctorat, 2001.

G. Verfaillie and T. Et-schiex, Maintien de solution dans les problèmes dynamiques de satisfaction de contraintes : bilan de quelques approches, Intelligence Artificielle, vol.9, issue.3, pp.269-309, 1995.

Y. Vernat, Formalisation et qualification de modèles par contraintes en conception préliminaire, Thèse de doctorat, École Nationale des Arts et Métier, 2004.

M. Veron, Modélisation et résolution du problème de configuration industrielle : utilisation des techniques de satisfaction de contraintes, Thèse de doctorat, 2001.

M. Veron and M. Et-aldanondo, Yet another approach to CCSP for configuration problem, European Conference on Artificial Intelligence, pp.59-62, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01785274

D. Waltz, Understanding line drawings of scenes with shadows, editor, The psychology of Computer Vision, pp.19-91, 1975.

B. Yannou, Les apports de la programmation par contraintes en conception, Hermés, editor, Conception de produits mécaniques méthodes, modèles et outils, pp.457-486, 1998.