Mutsunori Banbara

According to our database, Mutsunori Banbara authored at least 37 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Dominating Set Reconfiguration with Answer Set Programming.

Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Theory Pract. Log. Program., 2024

Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara

Proceedings of the WALCOM: Algorithms and Computation, 2024

On the Computational Complexity of Generalized Common Shape Puzzles.

Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara

Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

ASP-Based Large Neighborhood Prioritized Search for Course Timetabling.

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

Bounded Combinatorial Reconfiguration with Answer Set Programming.

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub

CoRR, 2023

Solving Vehicle Equipment Specification Problems with Answer Set Programming.

Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub

Proceedings of the Practical Aspects of Declarative Languages, 2023

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.

Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Computational Methods in Systems Biology, 2023

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.

Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi

CoRR, 2022

2021

Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions.

Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda

CoRR, 2021

2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Ann. Oper. Res., 2019

2017

Clingcon: The next generation.

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Theory Pract. Log. Program., 2017

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Int. J. Artif. Intell. Tools, 2017

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre

Proceedings of the Principles and Practice of Constraint Programming, 2017

2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.

Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Answer set programming as a modeling language for course timetabling.

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

Theory Pract. Log. Program., 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

CoRR, 2013

Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

A Compact and Efficient SAT-Encoding of Finite Domain CSP.

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

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

Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima

Fundam. Informaticae, 2010

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.

Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Solving Constraint Satisfaction Problems with SAT Technology.

Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Compiling finite linear CSP into SAT.

Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara

Constraints An Int. J., 2009

2006

A competitive and cooperative approach to propositional satisfiability.

Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura

Discret. Appl. Math., 2006

2005

Prolog Cafe : A Prolog to Java Translator System.

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Declarative Programming for Knowledge Management, 2005

2001

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Proceedings of the Logic Programming, 17th International Conference, 2001

1999

Translating a Linear Logic Programming Language into Java.

Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

1998

Compiling Resources in a Linear Logic Programming Language.

Mutsunori Banbara, Naoyuki Tamura

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998