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, and F. J. Martín-campo, Exact and Approximate Solving of the Aircraft Collision Resolution Problem via Turn Changes, Transportation Science, vol.50, issue.1, pp.263-274, 2015.
DOI : 10.1287/trsc.2014.0557

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

P. Bonami and J. P. Gonalves, Heuristics for convex mixed integer nonlinear programs, Computational Optimization and Applications, vol.16, issue.2, pp.729-747, 2012.
DOI : 10.1016/0098-1354(92)80028-8

P. Bonami, G. Cornuéjols, A. Lodi, and F. Margot, A Feasibility Pump for mixed integer nonlinear programs, Mathematical Programming, vol.104, issue.2, pp.331-352, 2009.
DOI : 10.1007/978-3-540-39901-8_11

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

M. Brochard, Erasmus?en route air traffic soft management ultimate system

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

S. Cafieri, MINLP in Air Traffic Management: Aircraft conflict avoidance Advances and Trends in Optimization with Engineering Applications, pp.293-301

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. Cafieri and R. Omheni, Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes, European Journal of Operational Research, vol.260, issue.1, pp.283-290, 2017.
DOI : 10.1016/j.ejor.2016.12.010

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

S. Cafieri and D. Rey, Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming, Computers & Operations Research, vol.80, pp.147-158, 2017.
DOI : 10.1016/j.cor.2016.12.002

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

D. 'ambrosio, C. Frangioni, A. Liberti, L. Lodi, and A. , Experiments with a Feasibility Pump Approach for Nonconvex MINLPs, pp.350-360, 2010.

D. 'ambrosio, C. Frangioni, A. Liberti, L. Lodi, and A. , A storm of feasibility pumps for nonconvex MINLP, Mathematical Programming, vol.26, issue.2, pp.375-402, 2012.
DOI : 10.1007/978-1-4757-2809-5

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

M. Fischetti, F. Glover, and A. Lodi, The feasibility pump, Mathematical Programming, vol.106, issue.1, pp.91-104, 2005.
DOI : 10.1007/BFb0120691

R. Fourer, D. M. Gay, and B. W. Kernighan, AMPL: A Modeling Language for Mathematical Programming, 2002.
DOI : 10.1007/978-3-642-83724-1_12

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

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

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

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, vol.2300, pp.59-67, 2012.
DOI : 10.3141/2300-07

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

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. 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. 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/BFb0120945