@InProceedings{kawazoe_et_al:OASIcs.ATMOS.2022.10, author = {Kawazoe, Kosuke and Yamauchi, Takuto and Tei, Kenji}, title = {{A Formulation of MIP Train Rescheduling at Terminals in Bidirectional Double-Track Lines with a Moving Block and ATO}}, booktitle = {22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2022)}, pages = {10:1--10:18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-259-4}, ISSN = {2190-6807}, year = {2022}, volume = {106}, editor = {D'Emidio, Mattia and Lindner, Niels}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2022.10}, URN = {urn:nbn:de:0030-drops-171148}, doi = {10.4230/OASIcs.ATMOS.2022.10}, annote = {Keywords: Train rescheduling, Mixed integer programming, ATO, Moving block} }