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

I. Araya, B. Trombettoni, G. Neveu, and . Chabert, Upper bounding in inner regions for global optimization under inequality constraints, Journal of Global Optimization, vol.103, issue.2, 2014.
DOI : 10.1007/s10898-014-0145-7
URL : https://hal.archives-ouvertes.fr/hal-01061701

P. Belotti, J. Lee, L. Liberti, F. Margot, and A. Waechter, Branching and bounds tighteningtechniques for non-convex MINLP, Optimization Methods and Software, vol.24, issue.4-5, pp.597-634, 2009.
DOI : 10.1080/10556780903087124

C. Carbonnel, G. Trombettoni, P. Vismara, and G. Chabert, Q-intersection algorithms for robust parameter estimation
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

L. Jaulin and E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.
DOI : 10.1016/0005-1098(93)90106-4

F. Messine, Deterministic global optimization using interval constraint propagation techniques, RAIRO - Operations Research, vol.38, issue.4, pp.277-293, 2004.
DOI : 10.1051/ro:2004026

R. E. Moore, Interval Analysis, 1966.

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

X. Vu, D. Sam-haroud, and B. Faltings, Enhancing numerical constraint propagation using multiple inclusion representations, Annals of Mathematics and Artificial Intelligence, vol.33, issue.4, pp.295-354, 2009.
DOI : 10.1007/s10472-009-9129-6