I. Araya, G. Trombettoni, and B. Neveu, Exploiting Monotonicity in Interval Constraint Propagation, Proc. AAAI, pp.9-14, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00654400

I. Araya, G. Trombettoni, and B. Neveu, Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity, Constraint Programming, vol.6308, pp.61-68, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00654414

I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, CPAIOR 2012, pp.1-16, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00673447

A. Balafrej, C. Bessiere, E. Bouyakhf, and G. Trombettoni, Adaptive Singleton-based Consistencies, pp.2601-2607, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01067213

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

H. Bennaceur and M. S. Affane, Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency, Proc. CP, pp.560-564, 2001.

C. Bessiere and R. Debruyne, Optimal and Suboptimal Singleton Arc Consistency Algorithms, Proc. IJCAI, pp.54-59, 2005.
URL : https://hal.archives-ouvertes.fr/lirmm-00106097

G. Chabert and L. Jaulin, Contractor Programming, vol.173, pp.1079-1100, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428957

G. Chabert and L. Jaulin, Hull Consistency Under Monotonicity, Proc. CP, vol.5732, pp.188-195, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428970

R. Debruyne and C. Bessiere, Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proc. IJCAI, pp.412-417, 1997.

E. Hansen, Global Optimization using Interval Analysis. Marcel Dekker inc, 1992.

M. Kieffer, L. Jaulin, E. Walter, and D. Meizel, Robust Autonomous Robot Localization Using Interval Analysis, Reliable Computing, vol.3, issue.6, pp.337-361, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00844915

Y. Lebbah, C. Michel, M. Rueher, D. Daney, and J. Merlet, Efficient and safe global constraints for handling numerical constraint systems, SIAM Journal on Numerical Analysis, vol.42, issue.5, pp.2076-2097, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00907765

O. Lhomme, Consistency Techniques for Numeric CSPs, IJCAI, pp.232-238, 1993.

A. Mackworth, Consistency in Networks of Relations, Artificial Intelligence, vol.8, pp.99-118, 1977.

J. P. Merlet, Interval Analysis and Robotics, Symp. of Robotics Research, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00001152

F. Messine, Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution desprobì emes avec contraintes, 1997.

F. Messine, Extensions of Affine Arithmetic: Application to Global Optimization, Journal of Universal Computer Science, vol.8, issue.11, pp.992-1015, 2002.

F. Messine and J. L. Laganouelle, Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization, Journal of Universal Computer Science, vol.4, issue.6, pp.589-603, 1998.

M. Li and C. , Anbulagan: Heuristics Based on Unit Propagation for Satisfiability Problems, Proc. IJCAI, pp.366-371, 1997.

M. Tawarmalani and N. V. Sahinidis, A Polyhedral Branch-and-Cut Approach to Global Optimization, Mathematical Programming, vol.103, issue.2, pp.225-249, 2005.

G. Trombettoni, I. Araya, B. Neveu, and G. Chabert, Inner Regions and Interval Linearizations for Global Optimization, pp.99-104, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648085

G. Trombettoni and G. Chabert, Constructive Interval Disjunction, Proc. CP, vol.4741, pp.635-650, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00936654

W. Tucker, A Rigorous ODE Solver and Smale's 14th Problem. Found, Comput. Math, vol.2, pp.53-117, 2002.

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