Alexandre Lemos, Pedro T. Monteiro 0001, Inês Lynce. Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. J. Scheduling, 25(4):371-390, 2022. [doi]
@article{LemosML22,
title = {Introducing UniCorT: an iterative university course timetabling tool with MaxSAT},
author = {Alexandre Lemos and Pedro T. Monteiro 0001 and Inês Lynce},
year = {2022},
doi = {10.1007/s10951-021-00695-6},
url = {https://doi.org/10.1007/s10951-021-00695-6},
researchr = {https://researchr.org/publication/LemosML22},
cites = {0},
citedby = {0},
journal = {J. Scheduling},
volume = {25},
number = {4},
pages = {371-390},
}