@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{CTT100723854,
  author = {迫 龍哉 and 宋 剛秀 and 番原 睦則 and 田村 直之 and 鍋島 英知 and 井上 克巳},
  title = {インクリメンタルSAT解法ライブラリとその応用},
  journal = {コンピュータソフトウェア},
  year = 2016,
}

@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{CTT100750046,
  author = {Maxime Clement and Tenda Okimoto and Katsumi Inoue and Mutsunori Banbara},
  title = {$\Sigma_{x}$-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems},
  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,
}

@inproceedings{CTT100723869,
  author = {Maxime Clement and Tenda Okimoto and Katsumi Inoue and Mutsunori Banbara},
  title = {Sigma-Optimal Solutions in Multi-Objective Timetabling},
  booktitle = {In: Proceedings of Joint Agents Workshop and Symposium 2015 (JAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)},
  year = 2015,
}