@article{BanbaraInoueKaufmannetal.2018,
  author    = {Mutsunori Banbara and Katsumi Inoue and Benjamin Kaufmann and Tenda Okimoto and Torsten H. Schaub and Takehide Soh and Naoyuki Tamura and Philipp Wanko},
  title     = {teaspoon},
  journal   = {Annals of operation research},
  series    = {solving the curriculum-based course timetabling problems with answer set programming},
  volume    = {275},
  number    = {1},
  pages     = {3 -- 37},
  doi       = {10.1007/s10479-018-2757-7},
  year      = {2018},
}