A MaxSAT Approach to Solving Frequency Conflicts within Cyclic Train Timetables

ILP-based solvers that intake a line planning, an infrastructure and a set of constraints and then output a cyclic train timetable have been researched extensively in the world of trains. However, these types of solvers are not able to automatically output a timetable when the problem gets overconstrained and no feasible solution exists.<br/><br...