TY - THES A1 - Grimm, Boris T1 - Train Dispatching by Disjunctive Programming Y1 - 2012 ER -