Login / Signup
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Mutsunori Banbara
Katsumi Inoue
Benjamin Kaufmann
Tenda Okimoto
Torsten Schaub
Takehide Soh
Naoyuki Tamura
Philipp Wanko
Published in:
Ann. Oper. Res. (2019)
Keyphrases
</>
answer set programming
logic programs
logic programming
solving problems
reasoning tasks
answer sets
constraint logic programming
np complete
combinatorial optimization
finite domain
causal theories
knowledge representation
constraint problems