A mixed-integer nonlinear optimization model is presented for the resolution of aircraft conflict. Aircraft conflicts occur when aircraft sharing the same airspace are "too close" to each other and represent a crucial problem in Air Traffic Management. We describe the model and show some numerical experiments.
A mixed-integer optimization model for Air Traffic Deconfliction