, User's manual for CPLEX, CPLEX v12.5

A. Alonso-ayuso, L. F. Escudero, and F. J. Martin-campo, A mixed 01 nonlinear optimization model and algorithmic approach for the collision avoidance in ATM: Velocity changes through a time horizon, IEEE Transactions on Intelligent Transportation Systems, vol.39, pp.3136-3146, 2012.

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.

J. K. Archibald, J. C. Hill, N. Jepsen, W. C. Stirling, and R. L. Frost, A satisficing approach to aircraft conflict resolution, IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, vol.38, issue.4, pp.510-521, 2008.

M. G. Ballin and H. Erzberger, An analysis of landing rates and separations at the Dallas/Fort Worth International Airport, Ames Research Center, vol.110397, 1996.

G. Chaloulos and J. Lygeros, Effect of wind correlation on aircraft conflict probability, Journal of Guidance, Control, and Dynamics, vol.30, issue.6, pp.1742-1752, 2007.

R. Cole, C. Richard, S. Kim, and D. Bailey, Assessment of the Rapid Update Cycle (RUC) with near real-time aircraft reports, 1998.

H. Erzberger, R. A. Paielli, D. R. Isaacson, and M. M. Eshow, Conflict detection and resolution in the presence of prediction error, 1st USA/Europe Air Traffic Management R&D Seminar, pp.17-20, 1997.

. Eurocontrol, User manual for the Base of Aircraft Data (BADA), Eurocontrol, 2011.

. Eurocontrol, Eurocontrol long-term forecast: IFR flight movements 2013-2035, Eurocontrol -STATFOR, 2013.

R. Fortet, Applications de lalgebre de Boole en recherche opérationelle. Revue Française de Recherche Opérationelle, vol.4, pp.17-26, 1960.

R. Irvine, A geometrical approach to conflict probability estimation, Air Traffic Control Quarterly, vol.10, issue.2, pp.85-113, 2002.

, Next gen air transportation system integrated work plan, technical report, Joint Planning and Development Office, 2008.

T. Lehouillier, J. Omer, F. Soumis, A. , and C. , Interactions between operations and planning in air traffic control, Proceedings of the 2nd International Conference of 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, 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, vol.359, pp.3-14, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02099567

J. Lygeros and M. Prandini, Aircraft and weather models for probabilistic collision avoidance in air traffic control, IEEE Conference on Decision and Control, vol.3, pp.2427-2432, 1998.

I. Lymperopoulos, Sequential Monte Carlo methods in air traffic management, 2010.

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

P. Menon, G. Sweriduk, and B. Sridhar, Optimal strategies for free-flight air traffic conflict resolution, Journal of Guidance, Control, and Dynamics, vol.22, issue.2, pp.202-211, 1999.

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.
URL : https://hal.archives-ouvertes.fr/hal-02099645

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.
URL : https://hal.archives-ouvertes.fr/hal-02099606

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.

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.

M. Prandini, J. Hu, J. Lygeros, and S. Sastry, A probabilistic approach to aircraft conflict detection, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.199-220, 2000.

R. Y. Rubinstein and D. P. Kroese, Simulation and the Monte Carlo method, vol.707, 2011.

B. E. Schwartz, S. G. Benjamin, S. M. Green, and M. R. Jardin, Accuracy of ruc-1 and ruc-2 wind and aircraft trajectory forecasts by comparison with acars observations, Weather and Forecasting, vol.15, issue.3, pp.313-326, 2000.

. Sesar and . Undertaking, European ATM master plan, 2012.

W. C. Stirling and M. A. Goodrich, Satisficing games, Information Sciences, vol.114, issue.1, pp.255-280, 1999.

C. Tomlin, G. J. Pappas, and S. Sastry, Conflict resolution for air traffic management: A study in multiagent hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.509-521, 1998.