F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising hull and box consistency, ICLP, pp.230-244, 1999.

C. Bliek, B. Neveu, and G. Trombettoni, Using Graph Decomposition for Solving Continuous CSPs, Proc. CP'98, pp.102-116, 1998.
DOI : 10.1007/3-540-49481-2_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.9813

W. Bouma, I. Fudos, C. M. Hoffmann, J. Cai, and R. Paige, Geometric constraint solver, Computer-Aided Design, vol.27, issue.6, pp.487-501, 1995.
DOI : 10.1016/0010-4485(94)00013-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7773

G. Chabert, Ibex?An Interval based EXplorer, 2009.

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, 2009.
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957

R. Debruyne and C. Bessière, Some practicable filtering techniques for the constraint satisfaction problem, Proc. of IJCAI, pp.412-417, 1997.

R. Dechter, Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition, Artificial Intelligence, vol.41, issue.3, pp.273-312, 1990.
DOI : 10.1016/0004-3702(90)90046-3

L. Granvilliers, RealPaver user's manual, version 0.3. University of Nantes. www.sciences.-univ-nantes, 2003.

L. Granvilliers and F. Benhamou, Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, pp.138-156, 2006.
DOI : 10.1145/1132973.1132980
URL : https://hal.archives-ouvertes.fr/hal-00480813

C. Hoffmann, A. Lomonossov, and M. Sitharam, Finding solvable subsets of constraint graphs, Proc. constraint programming CP'97, pp.463-477, 1997.
DOI : 10.1007/BFb0017460

I. , A. Galliéni, and G. , Ilog solver V. 5, users' reference manual, 2000.

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

C. Jermann, B. Neveu, and G. Trombettoni, Algorithms for identifying rigid subsystems in geometric constraint systems, Proc. IJCAI, pp.233-271, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01408610

C. Jermann, B. Neveu, and G. Trombettoni, Inter-Block backtracking: Exploiting the structure in continuous CSPs, Proc. of 2nd int. workshop on global constrained optimization and constraint satisfaction (COCOS'03), 2003.

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-6, 2006.
DOI : 10.1142/S0218195906002105
URL : https://hal.archives-ouvertes.fr/hal-00481267

R. S. Latham and A. E. Middleditch, Connectivity analysis: a tool for processing geometric constraints, Computer-Aided Design, vol.28, issue.11, pp.917-928, 1996.
DOI : 10.1016/0010-4485(96)00023-1

Y. Lebbah, Contribution à la résolution de contraintes par consistance forte, 1999.

Y. Lebbah, C. Michel, M. Rueher, D. Daney, and J. P. Merlet, Efficient and Safe Global Constraints for Handling Numerical Constraint Systems, SIAM Journal on Numerical Analysis, vol.42, issue.5, pp.42-2076, 2005.
DOI : 10.1137/S0036142903436174
URL : https://hal.archives-ouvertes.fr/hal-00907765

O. Lhomme, Consistency techniques for numeric CSPs, IJCAI, pp.232-238, 1993.

D. A. Mcallester, Partial order backtracking. Research note, artificial intelligence laboratory , MIT, 1993.

J. Merlet, Optimal design for the micro parallel robot MIPS, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292), pp.1149-1154, 2002.
DOI : 10.1109/ROBOT.2002.1014698

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

B. Neveu, C. Jermann, and G. Trombettoni, Inter-block Backtracking: Exploiting the Structure in Continuous CSPs, Selected papers in the 2nd int. worksh. on global constrained optimization and constraints, COCOS, pp.15-30, 2005.
DOI : 10.1007/11425076_2

G. Trombettoni and G. Chabert, Constructive Interval Disjunction, Proc. of CP, pp.635-650, 2007.
DOI : 10.1007/978-3-540-74970-7_45
URL : https://hal.archives-ouvertes.fr/hal-00936654

P. Van-hentenryck, L. Michel, and Y. Deville, Numerica: A modeling language for global optimization, 1997.

M. Wilczkowiak, G. Trombettoni, C. Jermann, P. Sturm, and E. Boyer, Scene modeling based on constraint system decomposition techniques, Proceedings Ninth IEEE International Conference on Computer Vision, 2003.
DOI : 10.1109/ICCV.2003.1238458
URL : https://hal.archives-ouvertes.fr/inria-00525636