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

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

N. Beldiceanu, Q. Guo, and S. Thiel, Non-overlapping Constraints between Convex Polytopes, 7th International Conference on Principles and Practice of Constraint Programming, pp.392-407, 2001.
DOI : 10.1007/3-540-45578-7_27

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

F. Benhamou and L. Granvilliers, Continuous and Interval Constraints, Handbook of Constraint Programming, chapter 16, pp.571-604, 2006.
DOI : 10.1016/S1574-6526(06)80020-9

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

G. Chabert and N. Beldiceanu, Sweeping with Continuous Domains, 16th International Conference on Principles and Practice of Constraint Programming (CP'10), pp.137-151, 2010.
DOI : 10.1007/978-3-642-15396-9_14

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

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

A. Goldsztejn and L. Jaulin, Inner and Outer Approximations of Existentially Quantified Equality Constraints, CP, pp.198-212, 2006.
DOI : 10.1007/11889205_16

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

D. Ishii, A. Goldsztejn, and C. Jermann, Interval-based projection method for under-constrained numerical systems, Constraints, vol.8, issue.5, pp.432-460, 2012.
DOI : 10.1007/s10601-012-9126-y

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

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, Set inversion via interval analysis for nonlinear bounded-error estimation, Efficient Solving of Quantified Inequality Constraints over the Real Numbers, pp.1053-1064723, 1993.
DOI : 10.1016/0005-1098(93)90106-4