UniCorT swMATH ID: 42987 Software Authors: Lemos, Alexandre; Monteiro, Pedro T.; Lynce, Inês Description: Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. 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. Homepage: https://link.springer.com/article/10.1007/s10951-021-00695-6 Source Code: https://github.com/cran/UniCorT Keywords: sport scheduling; simulated annealing; ITC2021; timetabling Related Software: RobinX; SPOT; pgRouting; EpiSIX; json2run; CPLEX Cited in: 1 Publication Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Multi-neighborhood simulated annealing for the sports timetabling competition ITC2021. Zbl 1495.90080Rosati, Roberto Maria; Petris, Matteo; Di Gaspero, Luca; Schaerf, Andrea 2022 Cited by 4 Authors 1 Di Gaspero, Luca 1 Petris, Matteo 1 Rosati, Roberto Maria 1 Schaerf, Andrea Cited in 1 Serial 1 Journal of Scheduling Cited in 1 Field 1 Operations research, mathematical programming (90-XX) Citations by Year