Iterative Train Scheduling under Disruption with Maximum Satisfiability

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]

Abstract

Abstract is missing.