teaspoon

swMATH27500MaRDI QIDQ39216FDOQ39216

Author name not available (Why is that?)

Cited In (4)

• 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
• 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