Knowledge Processing and Information Systems
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming

@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}
}