An exact algorithm for the simplified multiple depot crew scheduling problem