Mutsunori Banbara

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 20

Top Topics

Causal Theories

Answer Set Programming

Solving Constraint Satisfaction Problems

Discrete Optimization

Top Venues

Publications

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR (2024)
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
On the Computational Complexity of Generalized Common Shape Puzzles. SOFSEM (2024)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM (2024)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB (2023)
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
On the Computational Complexity of Generalized Common Shape Puzzles. CoRR (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS (2023)
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL (2023)
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA (2023)
Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions. CoRR (2022)
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions. CoRR (2021)
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275 (1) (2019)
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
Clingcon: The next generation. Theory Pract. Log. Program. 17 (4) (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Int. J. Artif. Intell. Tools 26 (1) (2017)
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
Clingcon: The Next Generation. CoRR (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. CP (2017)
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. LPNMR (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. ICTAI (2015)
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. LPNMR (2015)
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. JELIA (2014)
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. 13 (4-5) (2013)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR (2013)
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. SAT (2013)
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. ICTAI (2013)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. ICLP (Technical Communications) (2012)
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). SAT (2012)
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
A Compact and Efficient SAT-Encoding of Finite Domain CSP. SAT (2011)
Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
Solving Constraint Satisfaction Problems with SAT Technology. FLOPS (2010)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Informaticae 102 (3-4) (2010)
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) (2010)
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
Compiling finite linear CSP into SAT. Constraints An Int. J. 14 (2) (2009)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA (2008)
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
Compiling Finite Linear CSP into SAT. CP (2006)
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
A competitive and cooperative approach to propositional satisfiability. Discret. Appl. Math. 154 (16) (2006)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Prolog Cafe : A Prolog to Java Translator System. INAP (2005)
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP (2001)
Mutsunori Banbara, Naoyuki Tamura
Translating a Linear Logic Programming Language into Java. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Mutsunori Banbara, Naoyuki Tamura
Compiling Resources in a Linear Logic Programming Language. Implementation Technology for Programming Languages based on Logic (1998)