T. Achterberg, R. E. Bixby, Z. Gu, E. Rothberg, and D. Weninger, Multirow presolve reductions in mixed integer programming, Proceedings of the Twenty-Sixth RAMP Symposium, 2014.

F. Akgul, , 2013.

C. Allignol, N. Barnier, N. Durand, and J. Alliot, A new framework for solving en-routes conflicts, in '10th USA/Europe Air Traffic Management Research and Developpment Seminar, 2013.

C. Allignol, N. Barnier, N. Durand, A. Gondran, and R. Wang, Large scale 3D en-route conflict resolution, in 'ATM Seminar, 12th USA/Europe Air Traffic Management R&D Seminar, 2017.

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.

A. Alonso-ayuso, L. F. Escudero, and F. J. Martín-campo, An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution, Top, vol.24, issue.2, pp.381-408, 2016.

A. Alonso-ayuso, L. F. Escudero, and F. J. Martín-campo, Multiobjective optimization for aircraft conflict resolution. a metaheuristic approach, European Journal of Operational Research, vol.248, issue.2, pp.691-702, 2016.

P. Averty, B. Johansson, J. Wise, and C. Capsie, Could erasmus speed adjustments be identifiable by air traffic controllers, in '7th USA/Europe air traffic management research and development seminar, vol.22, 2007.

N. H. Awad, M. Z. Ali, P. N. Suganthan, and R. G. Reynolds, CADE: a hybridization of cultural algorithm and differential evolution for numerical optimization, Information Sciences, vol.378, pp.215-241, 2017.

N. Barnier and C. Allignol, Trajectory deconfliction with constraint programming, The Knowledge Engineering Review, vol.27, issue.03, pp.291-307, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00935206

C. Blum, C. Cotta, A. J. Fernández, J. E. Gallardo, and M. Mastrolilli, Hybridizations of metaheuristics with branch & bound derivates, in 'Hybrid Metaheuristics, pp.85-116, 2008.

C. Blum, J. Puchinger, G. R. Raidl, and A. Roli, Hybrid metaheuristics in combinatorial optimization: A survey, Applied Soft Computing, vol.11, issue.6, pp.4135-4151, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01224683

N. Durand, J. Alliot, and J. Noailles, Automatic aircraft conflict resolution using genetic algorithms, Proceedings of the Symposium on Applied Computing, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00937685

N. Durand and G. Granger, A traffic complexity approach through cluster analysis, in '5th ATM R&D Seminar, 2003.

M. El-abd and M. Kamel, A taxonomy of cooperative search algorithms, pp.32-41, 2005.

H. Erzberger, R. A. Paielli, D. R. Isaacson, and M. Eshowl, Conflict probing and resolution in the presence of errors, 1997.

E. G. Gilbert, D. W. Johnson, and S. S. Keerthi, A fast procedure for computing the distance between complex objects in three-dimensional space, IEEE Journal on Robotics and Automation, vol.4, issue.2, pp.193-203, 1988.

R. L. Graham, An efficient algorithm for determining the convex hull of a finite planar set, in 'Information Processing Letters, 1992.

G. Granger, N. Durand, and J. Alliot, Optimal resolution of en-route conflicts, in '4th ATM R&D Seminar, 2001.

L. Gurobi-optimization, Gurobi optimizer reference manual, 2018.

J. Hao, Memetic Algorithms in Discrete Optimization, pp.73-94, 2012.

A. A. Heidari, I. Aljarah, H. Faris, H. Chen, J. Luo et al., An enhanced associative learning-based exploratory whale optimizer for global optimization, Neural Computing and Applications, pp.1-27, 2019.

M. Jünger, T. M. Liebling, D. Naddef, G. L. Nemhauser, W. R. Pulleyblank et al., , 2009.

T. Lehouiller, J. Omer, F. Soumis, and G. Desaulniers, A flexible framework for solving the air conflict detection and resolution problem using maximum clique in a graph, in '11th USA/Europe Air Traffic Management Research and Developpment Seminar, 2015.

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem, European Journal of Operational Research, vol.256, issue.3, pp.696-712, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01353974

R. Li, S. Hu, Y. Wang, and M. Yin, A local search algorithm with tabu strategy and perturbation mechanism for generalized vertex cover problem, Neural Computing and Applications, vol.28, issue.7, pp.1775-1785, 2017.

S. Mirjalili and A. Lewis, The whale optimization algorithm, Advances in engineering software 95, pp.51-67, 2016.

J. E. Mitchell, Branch-and-cut algorithms for combinatorial optimization problems, pp.65-77, 2002.

L. Pallottino, E. Féron, 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.

G. R. Raidl and J. Puchinger, Combining (integer) linear programming techniques and metaheuristics for combinatorial optimization, in 'Hybrid metaheuristics, pp.31-62, 2008.

D. Rey and H. Hijazi, Complex number formulation and convex relaxations for aircraft conflict resolution, 2017 IEEE 56th Annual Conference on Decision and Control (CDC)', IEEE, pp.88-93, 2017.

D. Rey, C. Rapine, R. Fondacci, and ,. El-faouzi, Minimization of potential air conflicts through speed regulation, Transportation Research Record: Journal of the Transportation Research Board, vol.2300, pp.59-67, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00879143

A. Richard, A. Gregory, and D. Nicolas, Efficient conflict detection for conflict resolution, in 'Submitted at the 12th USA/Europe Air Traffic Management Research and Developpment Seminar, 2017.

G. Van-den-bergen, A fast and robust GJK implementation for collision detection of convex objects, Journal of graphics tools, vol.4, issue.2, pp.7-25, 1999.

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 Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, 2009.