Recent Advances in Crew-Pairing Optimization at American Airlines | Synapse