The following pages link to \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740):
Displaying 1 item.