@article{DBLP:journals/anor/BanbaraIKOSSTW19,
  title = {teaspoon : solving the curriculum-based course timetabling problems with answer set programming},
  author = {Banbara, Mutsunori and Inoue, Katsumi and Kaufmann, Benjamin and Okimoto, Tenda and Schaub, Torsten and Soh, Takehide and Tamura, Naoyuki and Wanko, Philipp},
  journal = {Annals {OR}},
  number = {1},
  pages = {3--37},
  volume = {275},
  year = {2019}
}