G. Granger, N. Durand, and J. Alliot, Optimal resolution of en-route conflicts, in: 1 st USA/Europe Air Traffic Management Research and Development Seminar, 1997.

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

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

A. Richards and J. How, Aircraft trajectory planning with collision avoidance using mixed integer linear programming, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301), pp.1936-1941, 2002.
DOI : 10.1109/ACC.2002.1023918

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, P. Olaso, and C. Pizarro, Conflict avoidance: 0-1 linear models for conflict detection & resolution, TOP, vol.9, issue.4, pp.485-504, 2013.
DOI : 10.1007/s11750-011-0224-6

A. Alonso-ayuso, L. F. Escudero, and F. J. , On modeling the air traffic control coordination in the collision avoidance problem by mixed integer linear optimization, Annals of Operations Research, vol.25, issue.4, pp.89-105, 2014.
DOI : 10.1007/s10479-013-1347-y

J. Omer, A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers, Computers & Operations Research, vol.58, pp.75-86, 2015.
DOI : 10.1016/j.cor.2014.12.012

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

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

D. Rey, C. Rapine, V. V. Dixit, and S. T. Waller, Equity-Oriented Aircraft Collision Avoidance Model, IEEE Transactions on Intelligent Transportation Systems, vol.16, issue.1, pp.172-183, 2015.
DOI : 10.1109/TITS.2014.2329012
URL : https://hal.archives-ouvertes.fr/hal-01163623

D. Rey, C. Rapine, R. Fondacci, and N. Faouzi, Subliminal Speed Control in Air Traffic Management: Optimization and Simulation, Transportation Science, vol.50, issue.1
DOI : 10.1287/trsc.2015.0602
URL : https://hal.archives-ouvertes.fr/hal-01284356

S. Cafieri, MINLP in air traffic management: Aircraft conflict avoidance Advances and Trends in Optimization with Engineering Applications, MOS-SIAM Series on Optimization, SIAM, Philadelphia, 2016.

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

A. Warren, Trajectory prediction concepts for next generation air traffic management, in: 3 th USA/Europe Air Traffic Management Research and Development Seminar, 2000.

F. Drogoul, P. Averty, and R. Weber, Erasmus strategic deconfliction to benefit sesar, in: 8 th USA/Europe Air Traffic Management Research and Development Seminar, 2009.

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

S. Athènes, P. Averty, S. Puechmorel, D. Delahaye, and C. Collet, ATC complexity and controller workload: Trying to bridge the gap, Proceedings of the International Conference on HCI in Aeronautics, pp.56-60, 2002.

R. Fortet, Applications de l'algèbre de boole en recherche opérationelle, Revue Française de, Recherche Opérationelle, vol.4, pp.17-26, 1960.

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

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

C. Vanaret, D. Gianazza, N. Durand, and J. Gotteland, Benchmarking conflict resolution algorithms, 5th International Conference on Research in Air Transportation, ICRAT, pp.113-114
URL : https://hal.archives-ouvertes.fr/hal-00863090

A. Alonso-ayuso, L. Escudero, and F. Martín-campo, Collision avoidance in air traffic management: A mixed-integer linear optimization approach, Intelligent Transportation Systems, IEEE Transactions on, vol.12, issue.1, pp.47-57, 2010.