Mutsunori Banbara

Compiling finite linear CSP into SAT

Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa et al. · Constraints · 2008 · 145 citations · Full text

Management, Computer Science, Industrial Engineering +17

<i>Clingcon</i>: The next generation

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski et al. · Theory and Practice of Logic Programming · 2017 · 44 citations

Computing, Computer Science, Algorithms +16

$${\varvec{teaspoon}}$$: solving the curriculum-based course timetabling problems with answer set programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann et al. · Annals of Operations Research · 2018 · 35 citations

Education, Computer Science, Curriculum +7

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura et al. · Fundamenta Informaticae · 2010 · 29 citations

Computing, Computer Science, Algorithms +6

Answer set programming as a modeling language for course timetabling

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura et al. · Theory and Practice of Logic Programming · 2013 · 24 citations · Full text

Computing, Computer Science, Curriculum +14