Decomposition, Reformulation, and Diving in University Course Timetabling
A general heuristic for vehicle routing problems