A. Alonso-ayuso, L. F. Escudero, and F. J. , Martín-Campo. A mixed 0-1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, Computers and Operations Research, issue.12, pp.393136-3146

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

D. Bonini, C. Dupré, and G. Granger, How ERASMUS can support an increase in capacity in 2020, Proceedings of the 7th International Conference on Computing, Communications and Control Technologies: CCCT 2009, 2009.

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

J. Kuchar and L. Yang, A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.179-189, 2000.
DOI : 10.1109/6979.898217

L. Pallottino, E. Feron, and A. Bicchi, Conflict resolution problems for air traffic management systems solved with mixed integer programming, IEEE Transactions on Intelligent Transportation Systems, vol.3, issue.1, pp.3-11, 2002.
DOI : 10.1109/6979.994791

D. Rey, S. Constans, R. Fondacci, and C. Rapine, A mixed integer linear model for potential conflict minimization by speed modulations, Proceedings of the International Conference on Research in Air Transportation, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00520052