Iterative train scheduling under disruption with maximum satisfiability

Abstract

This paper proposes an iterative Maximum Satisfiability (MaxSAT) approach designed to solve train scheduling optimization problems. The generation of railway timetables is known to be intractable for a single track. We consider hundreds of trains on interconnected multi-track railway networks with complex connections between trains. Furthermore, the proposed algorithm is incremental to reduce the impact of time discretization.

Publication
Journal of Artificial Intelligence Research, Volume 79
Date
Links