Modélisation et résolution des conflits aériens

Ce document s'adresse à toute personne souhaitant avoir quelques notions relatives aux mondes de la modélisation et de la résolution de certains problèmes réels. Dans ce cadre, nous avons étudié le problème de contrôle du trafic aérien notamment le problème de conflits entre avions. Dans ce rapport, nous contribuons à la modélisation et à la résolution des conflits aériens en nous inspirant des concepts de l'Intelligence Artificielle notamment du modèle des réseaux de contraintes.