×

teaspoon

swMATH ID: 27500
Software Authors: Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T., Tamura, N., Wanko, P.
Description: teaspoon : Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming. Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities. We here develop an ASP-based approach to Curriculum-Based Course Timetabling (CBCTT), one of the most widely studied course timetabling problems. The resulting teaspoon system reads a CB-CTT instance of a standard input format and converts it into a set of ASP facts. In turn, these facts are combined with a first-order encoding for CB-CTT solving, which can subsequently be solved by any off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting it to the best known bounds obtained so far via dedicated implementations
Homepage: https://www.cs.uni-potsdam.de/wv/publications/TEMP_conf/patat/BanbaraIKSSNW16.pdf
Related Software: SMAC; clasp; MiniSat; Catnap
Cited in: 3 Publications

Citations by Year