We address the conflict resolution problem in air traffic management. It is widely acknowledged that air traffic controllers' (ATCs) workload is related to the density of flights. ATCs' main task is ...