@inproceedings{TEMP:conf/patat/BanbaraIKSSNW16, title = {teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming}, author = {Banbara, Mutsunori and Inoue, Katsumi and Kaufmann, Benjamin and Schaub, Torsten and Soh, Tran Cao and Tamura, Naoyuki and Wanko, Philipp}, booktitle = {{PATAT}}, pages = {13--32}, year = {2016} }