Decomposition, Reformulation, and Diving in University Course Timetabling
Using Anytime Algorithms in Intelligent Systems