Decomposing the Train-Scheduling Problem into Integer-Optimal Polytopes. - Masoud Barah; Abbas Seifi; James Ostrowski (Transp. Sci., 2019)