@mastersthesis{Grimm2012, author = {Boris Grimm}, title = {Train Dispatching by Disjunctive Programming}, year = {2012}, }