Using disjunctive scheduling for optimally solving en-route conflicts [ATC] | IEEE Conference Publication | IEEE Xplore