Hybridization of Nonlinear and Mixed-Integer Linear Programming for Aircraft Separation With Trajectory Recovery | IEEE Journals & Magazine | IEEE Xplore