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 International Conference on Computing, Communications and Control Technologies: CCCT 2009, 2009.

. N. Vu, K. Duong, and . Zeghal, Conflict resolution advisory for autonomous airborne separation in lowdensity airspacse, Proceedings of the 36th IEEE Conf. on Decision and Control, 1997.

N. Durand, J. M. Alliot, and F. Medioni, Neural nets trained by genetic algorithms for collision avoidance, Applied Artificial Intelligence, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00934535

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

E. Frazzoli, Z. H. Mao, and E. Feron, Aircraft conflict resolution via semidefinite programming, AIAA Journal of Guidance, Control and Dynamics, 2001.
DOI : 10.2514/2.4678

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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