A. Alonso-ayuso, S. Cafieri, L. F. Escudero, and F. J. Martín-campo, Aircraft conflict avoidance by mixed-integer nonlinear optimization models combining turn and velocity change maneuvers . ICCOPT 2013, 4th International Conference on Continuous Optimization, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909737

A. Alonso-ayuso, L. F. Escudero, and F. J. Martín-campo, 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. 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 & Operations Research, vol.39, issue.12, pp.3136-3146, 2012.
DOI : 10.1016/j.cor.2012.03.015

A. Alonso-ayuso, L. F. Escudero, F. J. Martín-campo, and N. Mladenovi´cmladenovi´c, A VNS metaheuristic for solving the aircraft conflict detection and resolution problem by performing turn changes, Journal of Global Optimization, vol.328, issue.2, pp.583-596, 2014.
DOI : 10.2514/6.2006-6060

P. Bonami, A. Olivares, M. Soler, and E. Staffetti, Multiphase Mixed-Integer Optimal Control Approach to Aircraft Trajectory Optimization, Journal of Guidance, Control, and Dynamics, vol.36, issue.5, pp.1267-1277, 2013.
DOI : 10.2514/1.C031484

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, 2009.

S. Cafieri, Maximizing the number of solved aircraft conflicts through velocity regulation, Proceedings of Mathematical and Applied Global Optimization, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01018051

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.1109/CDC.2009.5400520
URL : https://hal.archives-ouvertes.fr/hal-00935215

S. Chaimatanan, D. Delahaye, and M. Mongeau, A Hybrid Metaheuristic Optimization Algorithm for Strategic Planning of 4D Aircraft Trajectories at the Continental Scale, IEEE Computational Intelligence Magazine, vol.9, issue.4, pp.46-61, 2014.
DOI : 10.1109/MCI.2014.2350951

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

D. Delahaye and S. Puechmorel, Modeling and Optimization of Air Traffic, Computer Engineering Series, 2013.
DOI : 10.1002/9781118743805
URL : https://hal.archives-ouvertes.fr/hal-00924311

]. R. Fortet, Applications de l'algèbre de Boole en recherche opérationelle. Revue Française de Recherche Opérationelle, pp.17-26, 1960.
DOI : 10.1007/bf03006558

A. Geser, C. Munoz, G. Dowek, and F. Kirchner, Air Traffic Conflict Resolution and Recovery, 2002.

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. Hu, M. Prandini, and S. Sastry, Aircraft Conflict Prediction in the Presence of a Spatially Correlated Wind Field, IEEE Transactions on Intelligent Transportation Systems, vol.6, issue.3, pp.326-340, 2005.
DOI : 10.1109/TITS.2005.853699

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. Liberti, S. Cafieri, and F. Tarissan, Reformulations in Mathematical Programming: A Computational Approach
DOI : 10.1007/978-3-642-01085-9_7
URL : https://hal.archives-ouvertes.fr/hal-01217899

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

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, vol.2300, pp.2300-59, 2012.
DOI : 10.3141/2300-07
URL : https://hal.archives-ouvertes.fr/hal-00879143

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

O. Rodinova, M. Sbihi, D. Delahaye, and M. Mongeau, North Atlantic Aircraft Trajectory Optimization, IEEE Transactions on Intelligent Transportation Systems, vol.15, issue.5, pp.2202-2212, 2014.
DOI : 10.1109/TITS.2014.2312315

A. Vela, S. Solak, J. Clarke, W. Singhose, E. R. 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

A. Vela, S. Solak, W. Singhose, and J. Clarke, A mixedinteger program for flight-level assignment and speed control for conflict resolution, Proceedings of the joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, 2009.
DOI : 10.1109/cdc.2009.5400520