Railway Scheduling Using Boolean Satisfiability Modulo Simulations

Tomáš Kolárik, Stefan Ratschan

Railway scheduling is a problem that exhibits both non-trivial discrete and continuous behavior. In this paper, we simulate train networks at a low level, where a number of timing…