A comparison of two exact methods for passenger railway rolling stock (re)scheduling /Jørgen T. Haahr a , Joris C. Wagenaar b, ⇑ , Lucas P. Veelenturf c , Leo G. Kroon - Haahr,Jørgen T.