Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
Optimising Cyclic Timetables with a SAT Approach
EPIA 2017
verfasst von : Gonçalo P. Matos, Luís Albino, Ricardo L. Saldanha, Ernesto M. Morgado
Erschienen in: Progress in Artificial Intelligence
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
This paper describes the preliminary results of an ongoing research on cyclic railway timetabling, namely on optimising timetables with respect to travel time using Boolean Satisfiability Problem (SAT) approaches.
Some works already done in the field of railway timetables propose solutions to the optimisation problem using Mixed Integer Linear Programming (MILP) and SAT. In this work, we propose a binary search procedure which uses a SAT solver to get global minimum solutions with respect to travel time, and a procedure which is being developed to compute a better upper bound for the solution value and speed up the search process.
Finally, we present some promising preliminary results which show that our approach applied to real world data performs better than existing SAT approaches and a state-of-the-art MILP approach.