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.393136-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, 2014.
DOI : 10.1007/s10898-014-0144-8

N. Barnier and P. Brisset, Graph Coloring for Air Traffic Flow Management, Annals of Operations Research, vol.130, issue.1-4, pp.1-4163, 2004.
DOI : 10.1023/B:ANOR.0000032574.01332.98
URL : https://hal.archives-ouvertes.fr/hal-00938022

D. Bertsimas and S. S. Patterson, The Air Traffic Flow Management Problem with Enroute Capacities, Operations Research, vol.46, issue.3, pp.406-422, 1998.
DOI : 10.1287/opre.46.3.406

D. Bertsimas and S. S. Patterson, The Traffic Flow Management Rerouting Problem in Air Traffic Control: A Dynamic Network Flow Approach, Transportation Science, vol.34, issue.3, pp.239-255, 2000.
DOI : 10.1287/trsc.34.3.239.12300

I. M. Bomze, M. Budinich, P. M. Pardalos, and M. Pelillo, The Maximum Clique Problem, Handbook of Combinatorial Optimization, pp.1-74, 1999.
DOI : 10.1007/978-1-4757-3023-4_1

M. Brochard, ERASMUS final report v1.1. technical report d4, 2009.

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

M. A. Christodoulou and S. G. Kodaxakis, Automatic Commercial Aircraft-Collision Avoidance in Free Flight: The Three-Dimensional Problem, IEEE Transactions on Intelligent Transportation Systems, vol.7, issue.2, pp.242-249, 2006.
DOI : 10.1109/TITS.2006.874684

N. Durand, J. Alliot, and F. Médioni, Neural nets trained by genetic algorithms for collision avoidance, Applied Intelligence, vol.13, issue.3, pp.205-213, 2000.
DOI : 10.1023/A:1026507809196
URL : https://hal.archives-ouvertes.fr/hal-00934535

N. Durand, J. Alliot, and J. Noailles, Automatic aircraft conflict resolution using genetic algorithms, Proceedings of the 1996 ACM symposium on Applied Computing , SAC '96, 1996.
DOI : 10.1145/331119.331195
URL : https://hal.archives-ouvertes.fr/hal-00937685

Y. Gao, X. Zhang, and X. Guan, Cooperative multi-aircraft conflict resolution based on co-evolution, 2012 International Symposium on Instrumentation & Measurement, Sensor Network and Automation (IMSNA), pp.310-313, 2012.
DOI : 10.1109/MSNA.2012.6324575

R. M. Karp, Reducibility among combinatorial problems, Complexity of Computer Computations, pp.85-103, 1972.

T. Lehouillier, J. Omer, F. Soumis, A. , and C. , Interactions between operations and planning in air traffic control, Proceedings of the 2nd International Conference on Research in Air Transportation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00998973

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, A flexible framework for solving the air conflict detection and resolution problem using maximum cliques in a graph, Europe Air Traffic Management R&D Seminar, 2015.

T. Lehouillier, J. Omer, F. Soumis, and G. Desaulniers, A new variant of the minimumweight maximum-cardinality clique problem to solve conflicts between aircraft, Modelling, Computation and Optimization in Information Systems and Management Sciences, volume 359 of Advances in Intelligent Systems and Computing, pp.3-14, 2015.

F. J. Martín-campo, The collision avoidance problem: Methods and algorithms, 2010.

G. Meng and F. Qi, Flight Conflict Resolution for Civil Aviation Based on Ant Colony Optimization, 2012 Fifth International Symposium on Computational Intelligence and Design, pp.239-241, 2012.
DOI : 10.1109/ISCID.2012.67

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

J. Omer and J. Farges, Hybridization of Nonlinear and Mixed-Integer Linear Programming for Aircraft Separation With Trajectory Recovery, IEEE Transactions on Intelligent Transportation Systems, vol.14, issue.3, pp.1218-1230, 2013.
DOI : 10.1109/TITS.2013.2257758

R. A. Paielli, Modeling Maneuver Dynamics in Air Traffic Conflict Resolution, Journal of Guidance, Control, and Dynamics, vol.26, issue.3, pp.407-415, 2003.
DOI : 10.2514/2.5078

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

A. U. Raghunathan, V. Gopal, D. Subramanian, L. T. Biegler, and T. Samad, Dynamic Optimization Strategies for Three-Dimensional Conflict Resolution of Multiple Aircraft, Journal of Guidance, Control, and Dynamics, vol.27, issue.4, pp.586-594, 2004.
DOI : 10.2514/1.11168

S. Resmerita, M. Heymann, M. , and G. , A framework for conflict resolution in air traffic management, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.2035-2040, 2003.
DOI : 10.1109/CDC.2003.1272914

T. Schouwenaars, Safe trajectory planning of autonomous vehicles, 2006.

H. D. Sherali, C. Smith, J. Trani, and A. A. , An Airspace Planning Model for Selecting Flight-plans Under Workload, Safety, and Equity Considerations, Transportation Science, vol.36, issue.4, pp.378-397, 2002.
DOI : 10.1287/trsc.36.4.378.546

´. E. Taillard and S. Voss, Popmusic ??? Partial Optimization Metaheuristic under Special Intensification Conditions, Operations Research/Computer Science Interfaces Series, pp.613-629, 2002.
DOI : 10.1007/978-1-4615-1507-4_27

A. Vela, S. Solak, J. Clarke, W. E. 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.47-57, 2011.
DOI : 10.1109/TITS.2010.2051028

A. Vela, S. Solak, W. E. Singhose, C. , and J. , 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. E. Vela, Understanding conflict-resolution taskload: Implementing advisory conflict-detection and resolution algorithms in an airspace, 2011.

R. Vivona, D. Karr, R. , and D. , Pattern-Based Genetic Algorithm for Airborne Conflict Resolution, AIAA Guidance, Navigation, and Control Conference and Exhibit, 2006.
DOI : 10.2514/6.2006-6060

Q. Wu and J. Hao, A review on algorithms for maximum clique problems, European Journal of Operational Research, vol.242, issue.3, pp.693-709, 2015.
DOI : 10.1016/j.ejor.2014.09.064

K. Zhou, J. C. Doyle, and K. Glover, Robust and optimal control, 1996.