swMATH27500MaRDI QIDQ39216FDOQ39216
Author name not available (Why is that?)
Official website: https://www.cs.uni-potsdam.de/wv/publications/TEMP_conf/patat/BanbaraIKSSNW16.pdf
Cited In (5)
- Catnap: generating test suites of constrained combinatorial testing with answer set programming
- \textit{teaspoon}: solving the curriculum-based course timetabling problems 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
