"Mutsunori Banbara,Katsumi Inoue,Hiromasa Kaneyuki,Tenda Okimoto,Torsten Schaub,Takehide Soh,Naoyuki Tamura","catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming",,"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","Springer","Vol. 10377",,"pp. 265-278",2017,July
"”— —΄Ζ,‘v „G,”ΤŒ΄ –r‘₯,“c‘Ί ’Ό”V,“瓇 ‰p’m,ˆδγ Ž–€","ƒCƒ“ƒNƒŠƒƒ“ƒ^ƒ‹SAT‰π–@ƒ‰ƒCƒuƒ‰ƒŠ‚Ζ‚»‚Μ‰ž—p",,"ƒRƒ“ƒsƒ…[ƒ^ƒ\ƒtƒgƒEƒFƒA","Šβ”g‘“X","Vol. 33","No. 4","pp. 16-29",2016,Nov.
"Mutsunori Banbara,Katsumi Inoue,Benjamin Kaufmann,Torsten Schaub,Takehide Soh,Naoyuki Tamura,Philipp Wanko","teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming",,"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)",,,,"pp. 13-32",2016,Aug.
"Mutsunori Banbara,Martin Gebser,Katsumi Inoue,Max Ostrowski,Andrea Peano,Torsten Schaub,Takehide Soh,Naoyuki Tamura,Matthias Weise","aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming",,"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","Springer","Vol. 9345",,"pp. 112-126",2015,Sept.