Introducing UniCorT: an iterative university course timetabling tool with MaxSAT

Alexandre Lemos (), Pedro T. Monteiro () and Inês Lynce ()
Additional contact information
Alexandre Lemos: Universidade de Lisboa, INESC-ID
Pedro T. Monteiro: Universidade de Lisboa, INESC-ID
Inês Lynce: Universidade de Lisboa, INESC-ID

Journal of Scheduling, 2022, vol. 25, issue 4, No 1, 390 pages

Abstract: 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.

Keywords: ITC 2019; MaxSAT; University course timetabling (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10951-021-00695-6 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:jsched:v:25:y:2022:i:4:d:10.1007_s10951-021-00695-6

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10951

DOI: 10.1007/s10951-021-00695-6

Access Statistics for this article

Journal of Scheduling is currently edited by Edmund Burke and Michael Pinedo

More articles in Journal of Scheduling from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().