P. Belotti, J. Lee, L. Liberti, F. Margot, and A. Wächter, Branching and bounds tightening techniques for nonconvex MINLP. Optimization Methods and Software, pp.597-634, 2009.

D. Bonini, C. Dupré, and G. Granger, How erasmus can support an increase in capacity in 2020, Proceedings of the 7th Int. Conf. on Computing, Communications and Control Technologies, 2009.

S. Cafieri and N. Durand, A mixed-integer optimization model for air traffic deconfliction, Proceedings of the Toulouse Global Optimization workshop, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00938717

N. Durand, J. M. 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

G. Granger and N. Durand, A traffic complexity approach through cluster analysis, Proceedings of the 5th ATM R&D Seminar, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00938044

J. Kuchar and L. Yang, A review of conflict detection and resolution modeling methods, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.179-189, 2000.
DOI : 10.1109/6979.898217

F. J. Martin-campo, The collision avoidance problem: methods and algorithms, 2010.

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