Solving Airline Crew Scheduling Problems by Branch-and-Cut. - Hoffman, Karla L.; Padberg, Manfred (Management Science (INFORMS), 1993)