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 all top 5 Cited by 12 Authors 2 Banbara, Mutsunori 2 Inoue, Katsumi 2 Okimoto, Tenda 2 Schaub, Torsten H. 2 Soh, Takehide 2 Tamura, Naoyuki 1 Akkan, Can 1 Gülcü, Ayla 1 Kaneyuki, Hiromasa 1 Kaufmann, Benjamin 1 Kuş, Zeki 1 Wanko, Philipp Cited in 2 Serials 1 Computers & Operations Research 1 Annals of Operations Research Cited in 2 Fields 2 Operations research, mathematical programming (90-XX) 1 Computer science (68-XX) Citations by Year