N. and D. S. Cafieri, Aircraft deconfliction with speed regulation: New models from mixed-integer optimization, J. of Global Optimization, vol.58, pp.613-629, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00935215

W. S. Dorn, Self-dual quadratic programs, Journal of the Society for Industrial and Applied Mathematics, vol.9, issue.1, pp.51-54, 1961.

W. S. Dorn, Duality in quadratic programming, Quarterly of Applied Mathematics, vol.18, issue.2, pp.155-162, 1960.

R. Fourer, D. M. Gay, and B. W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, 2002.

N. V. Sahinidis and M. Tawarmalani, BARON 7.2.5: Global Optimization of Mixed-Integer Nonlinear Programs, User's Manual, 2005.

P. E. Gill, User's guide for SNOPT version 7.2. Systems Optimization Laboratory, 2006.

A. Wächterm and L. T. Biegler, On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming, Mathematical Programming, 2006.

C. and A. S. Cafieri, Feasibility pump for aircraft deconfliction with speed regulation, Journal of Global Optimization, vol.71, issue.3, pp.501-515, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01609328