\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
scientific article; zbMATH DE number 7032706
scientific article