A survey of the literature on airline crew scheduling. (September 2018)