J. Alliot, H. Gruber, and M. Schoenauer, Using genetic algorithms for solving ATC conflicts, Proceedings of the Ninth Conference on Artificial Intelligence Application, 1993.

A. Alonso-ayuso, L. Escudero, and F. Martin-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.

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

N. Barnier and P. Brisset, FaCiLe: a Functional Constraint Library, Colloquium on Implementation of Constraint and LOgic Programming Systems CICLOPS'01 (Workshop of CP'01), 2001.
URL : https://hal.archives-ouvertes.fr/hal-01859902

F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting systematic search by weighting constraints, European Conference on Artificial Intelligence ECAI, pp.146-150, 2004.

M. De-berg, M. Van-kreveld, M. Overmars, and O. Schwarzkopf, Computational Geometry -Algorithms and Applications, 1998.

D. Delahaye, C. Peyronne, M. Mongeau, and S. Puechmorel, Aircraft conflict resolution by genetic algorithm and B-spline approximation, ENRI International Workshop on ATM/CNS, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00956473

N. Durand, Algorithmes Gntiques et autres mthodes d'optimisation appliqus la gestion de trafic arien, 2004.

N. Durand, J. Alliot, and J. Noailles, Algorithmes génétiques : un croisement pour les problémes partiellement séparables, Proceedings of the Journées É volution Artificielle Francophones, 1994.

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, 5th ATM R&D Seminar, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00938044

H. Erzberger, Conflict probing and resolution in the presence of errors, Procceedings of the 1st USA/Europe ATM R&D Seminar, 1997.

D. E. Goldberg, Genetic Algorithms in Search, Optimization and Machine Learning, 1989.

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

G. Granger, N. Durand, A. , and J. , Optimal resolution of en route conflicts, 4th ATM R&D Seminar, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01291410

Z. Michalewicz, Genetic algorithms þ Data Structures ¼ Evolution Programs, 1992.

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.

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

P. Van-hentenryck, Constraint solving for combinatorial search problems: a tutorial, Principle and Practice of Constraint Programming CP'95, vol.976, pp.564-587, 1995.

A. Vela, S. Solak, W. Singhose, C. , and J. , 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.

X. Yin and N. Germay, A fast genetic algorithm with sharing scheme using cluster analysis methods in multimodal function optimization, Proceedings of the Artificial Neural Nets and Genetic Algorithm International Conference, 1993.

K. Zeghal, Techniques réactives pour l'évitement, 1993.

, Cyril Allignol is an assistant professor at É cole Nationale de l'Aviation Civile (ENAC), 2006.

, Nicolas Barnier is an assistant professor at ENAC. He graduated from ENAC as an engineer in 1997, and received a Ph.D. in computer science in 2002 from the University of Toulouse. He is one of the authors of FaCiLe, an open source Constraint Programming library for the functional language OCaml

, He has been a design engineer at the Centre d'É tudes de la Navigation Aérienne (then DSNA/DTI R&D) since 1992, holds a Ph.D. in Computer Science (1996) and got his HDR (French tenure, 2004.

. Jean-marc, He received a Ph.D. in 1992 in Computer Science and got his HDR (French tenure) in 1996. He has been the head of LOG (Global Optimization Lab, ENAC/CENA) and then the head of DSNA/DTI R&D until 2011. He is currently research director at IRIT