H. Batnini and M. Rueher, Décomposition Sémantique pour la Résolution de Systèmes d'Equations de Distance, JEDAI Journal Electronique d'Intelligence Artificielle, vol.2, issue.1, 2004.

F. Benhamou and F. Goualard, Universally Quantified Interval Constraints, CP'00: 6th International Conference on Principles and Practice of Constraint Programming, pp.67-82, 2000.
DOI : 10.1007/3-540-45349-0_7

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising Hull and Box Consistency, ICLP, pp.230-244, 1999.

F. Benhamou, D. Mcallester, and P. Van-hentenryck, CLP(intervals) revisited, International Symposium on Logic programming, pp.124-138, 1994.

C. Bessì-ere and R. Debruyne, Optimal and Suboptimal Singleton Arc Consistency Algorithms, IJCAI, 19th International Joint Conference on Artificial Intelligence, pp.54-59, 2005.

C. Bliek, B. Neveu, and G. Trombettoni, Using Graph Decomposition for Solving Continuous CSPs, CP'98: 4th International Conference on Principles and Practice of Constraint Programming, pp.102-116, 1998.
DOI : 10.1007/3-540-49481-2_9

G. Chabert, IBEX, an Interval-Based EXplorer

H. Collavizza, F. Delobel, and M. Rueher, Extending Consistent Domains of Numeric CSP, IJCAI, Sixteenth International Joint Conference on Artificial Intelligence, pp.406-413, 1999.

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

R. Dechter, Constraint Processing, 2003.

A. Goldsztejn, A branch and prune algorithm for the approximation of non-linear AE-solution sets, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1650-1654, 2006.
DOI : 10.1145/1141277.1141665

URL : https://hal.archives-ouvertes.fr/hal-00481391

A. Goldsztejn and L. Jaulin, Inner and Outer Approximations of Existentially Quantified Equality Constraints, CP'06: 12th International Conference on Principles and Practice of Constraint Programming, pp.198-212, 2006.
DOI : 10.1007/11889205_16

URL : https://hal.archives-ouvertes.fr/hal-00481288

C. Grandón, G. Chabert, and B. Neveu, Generalized Interval Projection: A New Technique for Consistent Domain Extension, IJCAI, 20th International Joint Conference on Artificial Intelligence, pp.94-99, 2007.

L. Granvilliers and F. Benhamou, Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, 2006.
DOI : 10.1145/1132973.1132980

URL : https://hal.archives-ouvertes.fr/hal-00480813

DOI : 10.1016/B978-0-12-505630-4.50021-3

E. R. Hansen and S. Sengupta, Bounding solutions of systems of equations using interval analysis, BIT, vol.17, issue.2, pp.203-211, 1980.
DOI : 10.1007/BF01933165

E. Hyvönen, Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, vol.58, issue.1-3, pp.71-112, 1992.
DOI : 10.1016/0004-3702(92)90005-I

L. Jaulin, Localization of an Underwater Robot Using Interval Constraint Propagation, CP'06: 12th International Conference on Principles and Practice of Constraint Programming, 2006.
DOI : 10.1007/11889205_19

URL : https://hal.archives-ouvertes.fr/hal-00449523

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6

URL : https://hal.archives-ouvertes.fr/hal-00845131

L. Jaulin and E. Walter, Guaranteed parameter bounding for nonlinear models with uncertain experimental factors, Automatica, vol.35, issue.5, pp.849-856, 1999.
DOI : 10.1016/S0005-1098(98)00209-X

C. Jermann, G. Trombettoni, B. Neveu, and P. Mathis, DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, pp.5-6479, 2006.
DOI : 10.1142/S0218195906002105

URL : https://hal.archives-ouvertes.fr/hal-00481267

N. Jussien, G. Rochart, and X. Lorca, The CHOCO Constraint Programming Solver, CPAIOR'08 workshop on Open-Source Software for Integer and Contraint Programming, 2008.

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

M. Z. Lagerkvist and C. Schulte, Advisors for Incremental Propagation, CP'07: 13th International Conference on Principles and Practice of Constraint Programming, 2007.
DOI : 10.1007/978-3-540-74970-7_30

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

Y. Lebbah, C. Michel, and M. Rueher, Efficient Pruning Technique Based on Linear Relaxations, COCOS, pp.1-14, 2003.
DOI : 10.1007/11425076_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

O. Lhomme, Consistency Techniques for Numeric CSPs, IJCAI, 13th International Joint Conference on Artificial Intelligence, pp.232-238, 1993.

J. Merlet, Alias

J. Merlet, Solving the Forward Kinematics of a Gough-Type Parallel Manipulator with Interval Analysis, The International Journal of Robotics Research, vol.23, issue.3, pp.221-236, 2004.
DOI : 10.1177/0278364904039806

R. Moore, Interval Analysis, 1966.

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

B. Neveu, G. Chabert, and G. Trombettoni, When Interval Analysis Helps Inter-block Backtracking, CP'06: 12th International Conference on Principles and Practice of Constraint Programming, 2006.
DOI : 10.1007/11889205_29

URL : https://hal.archives-ouvertes.fr/hal-00486724

S. Ning and R. B. Kearfott, A Comparison of some Methods for Solving Linear Interval Equations, SIAM Journal on Numerical Analysis, vol.34, issue.4, pp.1289-1305, 1997.
DOI : 10.1137/S0036142994270995

S. Ratschan, Quantified Constraints Under Perturbation, Journal of Symbolic Computation, vol.33, issue.4, 2002.
DOI : 10.1006/jsco.2001.0519

URL : http://doi.org/10.1006/jsco.2001.0519

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

N. Sahinidis and . Baron, Branch-And-Reduce Optimization Navigator

D. Sam-haroud and B. Faltings, Consistency techniques for continuous constraints, Constraints, vol.1, issue.1-2, pp.85-118, 1996.
DOI : 10.1007/BF00143879

P. Van-hentenryck, The OPL optimization programming language, 1999.

P. Van-hentenryck, D. Mcallester, and D. Kapur, Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, pp.797-827, 1997.
DOI : 10.1137/S0036142995281504

P. Van-hentenryck and L. Michel, Constraint-Based Local Search, 2005.

P. Van-hentenryck, L. Michel, and Y. Deville, Numerica: A Modeling Language for Global Optimization, 1997.

X. Vu, Rigorous Solution Techniques for Numerical Constraint Satisfaction Problems, 2005.