I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, pp.1-16, 2012.
DOI : 10.1007/978-3-642-29828-8_1
URL : https://hal.archives-ouvertes.fr/hal-00733848

F. Benhamou and L. Granvilliers, Continuous and Interval Constraints, Handbook of Constraint Programming, pp.571-603, 2006.
DOI : 10.1016/S1574-6526(06)80020-9
URL : https://hal.archives-ouvertes.fr/hal-00480814

C. Bessiere and R. Debruyne, Theoretical analysis of singleton arc consistency, Proceedings of ECAI-04 workshop on Modeling and Solving Problems with Constraints, 2004.
URL : https://hal.archives-ouvertes.fr/lirmm-00108866

C. Carbonnel, G. Trombettoni, P. Vismara, and G. Chabert, Qintersection Algorithms for Constraint-Based Robust Parameter Estimation, AAAI'14-Twenty-Eighth Conference on Artificial Intelligence, pp.26-30, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01084606

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

H. Collavizza, F. Delobel, and M. Rueher, A Note on Partial Consistencies over Continuous Domains, Principles and Practice of Constraint Programming CP98, number 1520 in Lecture Notes in Computer Science, pp.147-161, 1998.
DOI : 10.1007/3-540-49481-2_12

F. Goualard, Gaol: NOT Just Another Interval Library, 2005.

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

M. Nehmeier, J. Wolff, and . Gudenberg, FILIB++, Expression Templates and the Coming Interval Standard, Reliable Computing, vol.15, issue.4, pp.312-320, 2011.

J. Ninin, Optimisation Globale basée sur l'Analyse d'Intervalles : Relaxation Affine et Limitation de la Mémoire, 2010.

J. Ninin and G. Chabert, Global optimization based on contractor programming, XII GLOBAL OPTIMIZATION WORKSHOP, pp.77-80, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01194742

J. Ninin, F. Messine, and P. Hansen, A reliable affine relaxation method for global optimization, 4OR, vol.55, issue.3???4, pp.247-277, 2014.
DOI : 10.1007/s10288-014-0269-0
URL : https://hal.archives-ouvertes.fr/hal-01194735

J. Stolfi and L. De-figueiredo, Self-validated numerical methods and applications, Monograph for 21st Brazilian Mathematics Colloquium, 1997.

J. Stolfi and L. H. De-figueiredo, Self-validated numerical methods and applications, Monograph for 21st Brazilian Mathematics Colloquium. IMPA/CNPq, 1997.

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