A branch-and-cut procedure for the Udine Course Timetabling problem · Study