Mixed Integer Programming Algorithm in the Optimization of Air Traffic Control Flight Scheduling | IEEE Conference Publication | IEEE Xplore