teaspoon：用回答集编程解决基于课程的排课问题
$${\varvec{teaspoon}}$$: solving the curriculum-based course timetabling problems with answer set programming
Annals of Operations Research · 2018
被引 35
ABS 3
- Mutsunori Banbara 通讯
- Katsumi Inoue
- Benjamin Kaufmann
- Tenda Okimoto
- Torsten Schaub
- Takehide Soh
运筹学课程排课回答集编程计算机科学