Decomposition, Reformulation, and Diving in University Course Timetabling
Metaheuristics in combinatorial optimization: Overview and conceptual comparison