![](/img/cover-not-exists.png)
Model-based problem solving for university timetable validation and improvement
Schneider, David, Leuschel, Michael, Witt, TobiasLanguage:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-018-0461-7
Date:
July, 2018
File:
PDF, 2.60 MB
english, 2018