Return to Article Details Iterative Train Scheduling under Disruption with Maximum Satisfiability Download Download PDF