Modeling and solution of practical airline crew scheduling problems | IEEE Conference Publication | IEEE Xplore