Rauchecker, Schryen, 2016. High-Performance Computing for Scheduling Decision Support: A Parallel Depth-First Search Heuristic.