teaspoon

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