Flight Conflict Resolution for Civil Aviation Based on Ant Colony Optimization | IEEE Conference Publication | IEEE Xplore