Back to Search
Start Over
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT.
- Source :
- Journal of Scheduling; Aug2022, Vol. 25 Issue 4, p371-390, 20p
- Publication Year :
- 2022
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- INTERNATIONAL competition
UNIVERSITIES & colleges
Subjects
Details
- Language :
- English
- ISSN :
- 10946136
- Volume :
- 25
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Journal of Scheduling
- Publication Type :
- Academic Journal
- Accession number :
- 158277114
- Full Text :
- https://doi.org/10.1007/s10951-021-00695-6