@article{CTT100750298,
  author = {Mutsunori Banbara and Katsumi Inoue and Hiromasa Kaneyuki and Tenda Okimoto and Torsten Schaub and Takehide Soh and Naoyuki Tamura},
  title = {catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming},
  journal = {In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence},
  year = 2017,
}

@article{CTT100750045,
  author = {Mutsunori Banbara and Katsumi Inoue and Benjamin Kaufmann and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Philipp Wanko},
  title = {teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming},
  journal = {In: Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy)},
  year = 2016,
}

@article{CTT100723858,
  author = {Mutsunori Banbara and Martin Gebser and Katsumi Inoue and Max Ostrowski and Andrea Peano and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Matthias Weise},
  title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming},
  journal = {In: Francesco Calimeri, Giovambattista Ianni, and Miroslaw Truszczynski (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 13th International Conference (LPNMR 2015; Lexington, KY, USA, September 30, 2015), Lecture Notes in Artificial Intelligence},
  year = 2015,
}