Convex Formulations of Air Traffic Flow Optimization Problems | IEEE Journals & Magazine | IEEE Xplore