ITC 2019:University Course Timetabling with MaxSAT

Abstract

This paper describes the UniCorTtool designed to solve university course timetabling problem specifically tailored for the 2019 InternationalTimetabling Competition (ITC 2019). The proposed approach comprehends pre-processing, the use of a Maximum Satisfiability (MaxSAT) solver and alocal search procedure.UniCorTis assessed with the benchmark instances from ITC 2019. Theimpact of a handful of techniques in the quality of the solution and the execu-tion time is evaluated. We take into account different pre-processing techniquesand Conjunctive Normal Form (CNF) encodings, as well as the combinationwith a local search procedure. The success of our tool is attested by having been ranked among the five finalists of the ITC 2019 competition.

Date
Location
Bruges, Belgium