J. Hansman, Impact of NextGen integration on improving efficiency and safety of operations, Proceedings of TRB: the 91st Annual Meeting of the Transportation Research Board, 2012.

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

M. Brochard, Erasmus -en route air traffic soft management ultimate system, Tech. rep., Eurocontrol Experimental Centre, 2006.

S. Cafieri, MINLP in Air Traffic Management: Aircraft conflict avoidance Advances and Trends in Optimization with Engineering Applications, MOS-SIAM Series on Optimization

L. Pallottino, E. M. 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

M. Christodoulou and C. Costoulakis, Nonlinear mixed integer programming for aircraft collision avoidance in free flight, Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521), pp.327-330, 2004.
DOI : 10.1109/MELCON.2004.1346858

A. Vela, S. Solak, W. Singhose, and J. Clarke, A mixed integer program for flight-level assignment and speed control for conflict resolution, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.5219-5226, 2009.
DOI : 10.1109/CDC.2009.5400520

A. Vela, S. Solak, J. Clarke, W. Singhose, E. Barnes et al., Near Real-Time Fuel-Optimal En Route Conflict Resolution, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.4, pp.826-837, 2010.
DOI : 10.1109/TITS.2010.2051028

D. Rey, C. Rapine, R. Fondacci, and N. E. Faouzi, Minimization of potential air conflicts through speed regulation, Transportation Research Record, Journal of the Transportation Research Board, pp.2300-59, 2012.

D. Rey, C. Rapine, R. Fondacci, and N. E. Faouzi, Subliminal Speed Control in Air Traffic Management: Optimization and Simulation, Transportation Science, vol.50, issue.1, pp.240-262, 2016.
DOI : 10.1287/trsc.2015.0602

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

A. Alonso-ayuso, L. F. Escudero, and F. J. , Collision Avoidance in Air Traffic Management: A Mixed-Integer Linear Optimization Approach, IEEE Transactions on Intelligent Transportation Systems, vol.12, issue.1, pp.47-57, 2011.
DOI : 10.1109/TITS.2010.2061971

A. Alonso-ayuso, L. F. Escudero, and F. J. , A mixed 0???1 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, Computers & Operations Research, vol.39, issue.12, pp.3136-3146, 2012.
DOI : 10.1016/j.cor.2012.03.015

A. Alonso-ayuso, L. F. Escudero, and F. J. , Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes, Transportation Science, vol.50, issue.1, pp.263-274, 2016.
DOI : 10.1287/trsc.2014.0557

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

S. Cafieri, Maximizing the number of solved aircraft conflicts through velocity regulation, MAGO 2014, 12th Global Optimization Workshop, pp.1-4, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01018051

C. Peyronne, A. R. Conn, M. Mongeau, and D. Delahaye, Solving air traffic conflict problems via local continuous optimization, European Journal of Operational Research, vol.241, issue.2, pp.502-512, 2015.
DOI : 10.1016/j.ejor.2014.08.045

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

L. Liberti, S. Cafieri, and F. Tarissan, Reformulations in Mathematical Programming: A Computational Approach, Foundations of Computational Intelligence, pp.153-234, 2009.
DOI : 10.1007/978-3-642-01085-9_7

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

C. Dupré, D. Bonini, 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.

M. R. Bussieck and S. Vigerske, MINLP Solver Software, Wiley Encyclopedia of Operations Research and Management Science, 2011.
DOI : 10.1002/9780470400531.eorms0527

R. Misener and C. A. Floudas, ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations, Journal of Global Optimization, vol.56, issue.2, pp.503-526, 2014.
DOI : 10.1007/s10898-014-0166-2

N. V. Sahinidis, BARON: A general purpose global optimization software package, Journal of Global Optimization, vol.19, issue.2, pp.201-205, 1996.
DOI : 10.1007/BF00138693

P. Belotti, J. Lee, L. Liberti, F. Margot, and A. Wachter, Branching and bounds tightening techniques for non-convex MINLP, Optimization Methods Software, pp.4-5, 2009.
DOI : 10.1080/10556780903087124

Y. Lin and L. Schrage, The global solver in the LINDO API, Optimization Methods and Software, pp.657-668, 2009.

T. Achterberg, SCIP: solving constraint integer programs, Mathematical Programming Computation, vol.29, issue.2, pp.1-41, 2009.
DOI : 10.1007/s12532-008-0001-1

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

A. Wächter and L. T. Biegler, On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming, Mathematical Programming, vol.10, issue.1, pp.25-57, 2006.
DOI : 10.1007/s10107-004-0559-y

E. D. Dolan and J. J. Mor, Benchmarking optimization software with performance profiles, Mathematical Programming, vol.91, issue.2, pp.201-213, 2002.
DOI : 10.1007/s101070100263

URL : http://arxiv.org/abs/cs/0102001

A. Alonso-ayuso, L. F. Escudero, and F. J. , Martín-Campo, An exact multiobjective mixed integer nonlinear optimization approach for aircraft conflict resolution, pp.381-408, 2016.
DOI : 10.1007/s11750-015-0402-z

M. R. Bussieck, A. S. Drud, and A. Meeraus, MINLPLib???A Collection of Test Models for Mixed-Integer Nonlinear Programming, INFORMS Journal on Computing, vol.15, issue.1, pp.114-119, 2003.
DOI : 10.1287/ijoc.15.1.114.15159