Conflict resolution problems for air traffic management systems solved with mixed integer programming | Synapse