Cited in
(5)- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
- Catnap: generating test suites of constrained combinatorial testing with answer set programming
- Catnap
- Minimum penalty perturbation heuristics for curriculum-based timetables subject to multiple disruptions
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
This page was built for software: teaspoon
