S. Cafieri and N. Durand, Aircraft deconfliction with speed regulation: new models from mixed-integer optimization, Journal of Global Optimization, vol.3, issue.1, pp.613-629, 2014.
DOI : 10.1007/s10898-013-0070-1
URL : https://hal.archives-ouvertes.fr/hal-00935215

P. Belotti, J. Lee, L. Liberti, F. Margot, and A. Wachter, Branching and bounds tightening techniques for nonconvex MINLP. Optimization Methods and Software, pp.597-634, 2009.

F. Messine, A Deterministic Global Optimization Algorithm for Design Problems, Essays and Surveys in Global Optimization, pp.267-292, 2005.
DOI : 10.1007/0-387-25570-2_10

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

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