Air Traffic Deconfliction Using Sum Coloring | IEEE Conference Publication | IEEE Xplore