L.  Pallottino, Feron, E., and Bicchi, A., ?Mixed Integer Programming for Aircraft Conflict Resolution?, in AIAA Guidance, Navigation and Control Conference and Exhibit, 2001.