An exact multi-objective mixed integer nonlinear optimization approach for aircraft conflict resolution