This paper describes the UniCorT tool designed to solve university course timetabling problems specifically tailored for the 2019 International Timetabling Competition (ITC 2019). The proposed approach includes pre-processing, the use of a maximum satisfiability (MaxSAT) solver and a local search procedure. UniCorT is assessed with the benchmark instances from the ITC 2019. The impact of a handful of techniques in the quality of the solution and the execution time is evaluated. We take into account different pre-processing techniques and conjunctive normal form (CNF) encodings, as well as the combination with a local search procedure. The success of our tool is attested by having been ranked among the five finalists of the ITC 2019 competition.

本文介绍了UniCorT工具，旨在解决单向versity共同ü [R本身牛逼专门为2019国际排课大赛（ITC 2019）定制imetabling问题。所提出的方法包括预处理、最大可满足性 (MaxSAT) 求解器的使用和局部搜索程序。UniCorT使用 ITC 2019 的基准实例进行评估。 评估了少数技术对解决方案质量和执行时间的影响。我们考虑了不同的预处理技术和联合范式 (CNF) 编码，以及与本地搜索程序的组合。我们的工具已跻身 ITC 2019 竞赛的五名决赛选手之列，证明了我们的成功。