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...

Het ontbinden van een matrix m.b.v. een getraind neuraal netwerk

Before making matrix calculations, it can be useful to decompose these matrices in some way, such as according to an LU-decomposition. This can save a lot of computing power and thus time. Several computer programs exist that can decompose matrices in multiple ways. However, this report answers the question of whether it is also possible to make...