Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution

Fernando H. C. Dias, Hassan Hijazi, David Rey

We address the aircraft conflict resolution problem in air traffic control. We introduce new mixed-integer programming formulations for aircraft conflict resolution with speed, hea…