Gửi tin nhắn: 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