Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro 0001, Inês Lynce. Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. (JAIR), 79:1047-1090, 2024. [doi]
@article{LemosGML24,
title = {Iterative Train Scheduling under Disruption with Maximum Satisfiability},
author = {Alexandre Lemos and Filipe Gouveia and Pedro T. Monteiro 0001 and Inês Lynce},
year = {2024},
doi = {10.1613/jair.1.14924},
url = {https://doi.org/10.1613/jair.1.14924},
researchr = {https://researchr.org/publication/LemosGML24},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {79},
pages = {1047-1090},
}