Mutsunori Banbara

Most-cited papers

Compiling finite linear CSP into SAT
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
2006Constraints179 citations Open access
Semantic Scholar
Clingcon: The next generation*
Mutsunori Banbara, B. Kaufmann, Max Ostrowski, Torsten Schaub
2017Theory and Practice of Logic Programming72 citations
Semantic Scholar
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
2010Logic Programming and Automated Reasoning56 citations
Semantic Scholar
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara +1 more
2010Workshop on Knowledge Representation and Automated Reasoning32 citations Open access
Semantic Scholar
teaspoon\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{teaspoon}}$$\end{document}: solving the curriculum-ba
Mutsunori Banbara, Katsumi Inoue, B. Kaufmann, Tenda Okimoto +4 more
2018Annals of Operations Research31 citations
Semantic Scholar
Under Consideration for Publication in Theory and Practice of Logic Programming Answer Set Programming as a Modeling Language for Course Timetabling
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue +1 more
27 citations
Semantic Scholar
Prolog Cafe : A Prolog to Java Translator System
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2005International Conference on Applications of Declarative Programming and Knowledge Management26 citations
Semantic Scholar
Translating a Linear Logic Programming Language into Java
Mutsunori Banbara, Naoyuki Tamura
1999Parallelism and Implementation Technology for Logic Programming@ICLP26 citations Open access
Semantic Scholar
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
2012International Conference on Theory and Applications of Satisfiability Testing25 citations
Semantic Scholar
A competitive and cooperative approach to propositional satisfiability
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura +2 more
2006Discrete Applied Mathematics25 citations Open access
Semantic Scholar
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
2013IEEE International Conference on Tools with Artificial Intelligence23 citations
Semantic Scholar
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara +1 more
2014European Conference on Logics in Artificial Intelligence22 citations Open access
Semantic Scholar
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
2017International Conference on Principles and Practice of Constraint Programming21 citations
Semantic Scholar
A Compact and Efficient SAT-Encoding of Finite Domain CSP
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
2011International Conference on Theory and Applications of Satisfiability Testing21 citations
Semantic Scholar
Compiling Resources in a Linear Logic Programming Language
Mutsunori Banbara, Naoyuki Tamura
1998Implementation Technology for Programming Languages based on Logic16 citations
Semantic Scholar
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2013International Conference on Theory and Applications of Satisfiability Testing12 citations
Semantic Scholar
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2012International Conference on Logic Programming11 citations
Semantic Scholar
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2017Int. J. Artif. Intell. Tools10 citations Open access
Semantic Scholar
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, M. Gebser, Katsumi Inoue, Max Ostrowski +5 more
2013International Conference on Logic Programming and Non-Monotonic Reasoning8 citations Open access
Semantic Scholar
Solving Constraint Satisfaction Problems with SAT Technology
Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
2010Fuji International Symposium on Functional and Logic Programming8 citations
Semantic Scholar
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2015IEEE International Conference on Tools with Artificial Intelligence7 citations
Semantic Scholar
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, S. Minato +6 more
2021arXiv.org5 citations
Semantic Scholar
Solving Vehicle Equipment Specification Problems with Answer Set Programming
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
2023International Symposium on Practical Aspects of Declarative Languages4 citations
Semantic Scholar
Proposal of a compact and efficient SAT encoding using a numeral system of any base
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
20114 citations
Semantic Scholar
Sugar + + : A SAT-Based MAX-CSP / COP Solver
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
20084 citations
Semantic Scholar
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks
Rei Higuchi, Takehide Soh, D. Le Berre, Morgan Magnin +2 more
2025International Joint Conference on Artificial Intelligence3 citations Open access
Semantic Scholar
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara +1 more
2023Computational Methods in Systems Biology3 citations Open access
Semantic Scholar
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto +3 more
2017International Conference on Logic Programming and Non-Monotonic Reasoning3 citations
Semantic Scholar
Towards a Compact and Efficient SAT-encoding of Finite Linear CSP
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
20103 citations
Semantic Scholar
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
2001International Conference on Logic Programming3 citations
Semantic Scholar
The Smallest String Attractors of Fibonacci and Period-Doubling Words
Mutsunori Banbara, Hideo Bannai, Peaker Guo, D. Köppl +2 more
2026Annual Symposium on Combinatorial Pattern Matching2 citations
Semantic Scholar
Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs
S. Minato, Jun Kawahara, Mutsunori Banbara, Takashi Horiyama +2 more
2025Discrete Applied Mathematics2 citations Open access
Semantic Scholar
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
2025International Conference on Logic Programming2 citations Open access
Semantic Scholar
SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints
Ryo Ohashi, Takehide Soh, D. Le Berre, Hidetomo Nabeshima +3 more
2025International Conference on Theory and Applications of Satisfiability Testing2 citations
Semantic Scholar
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub +3 more
2024International Conference on Principles of Knowledge Representation and Reasoning2 citations
Semantic Scholar
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub +1 more
2024Workshop on Algorithms and Computation2 citations
Semantic Scholar
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara +1 more
2023Bioinformatics2 citations Open access
Semantic Scholar
Hamiltonian Cycle Reconfiguration with Answer Set Programming
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu +4 more
2023European Conference on Logics in Artificial Intelligence2 citations
Semantic Scholar
Dominating Set Reconfiguration with Answer Set Programming
M. Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh +1 more
2024Theory and Practice of Logic Programming1 citations Open access
Semantic Scholar
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions
S. Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara +2 more
2022arXiv.org1 citations
Semantic Scholar
SRIP: A SAT-based System for Independent Set Reconfiguration
Takehide Soh, Akifumi Kuwahara, Mutsunori Banbara, Naoyuki Tamura +3 more
2026International Conference on Principles of Knowledge Representation and Reasoning0 citations Open access
Semantic Scholar
The Smallest String Attractors of Fibonacci, Period-Doubling, and Thue--Morse Words
Mutsunori Banbara, Hideo Bannai, Peaker Guo, D. Köppl +2 more
20260 citations
Semantic Scholar
Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis
Mutsunori Banbara, Hideo Bannai, Takashi Horiyama, D. Köppl +2 more
2026International Conference on Principles of Knowledge Representation and Reasoning0 citations Open access
Semantic Scholar
Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis
K. Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara +3 more
2025European Conference on Artificial Intelligence0 citations Open access
Semantic Scholar
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub +3 more
2024International Conference on Logic Programming and Non-Monotonic Reasoning0 citations
Semantic Scholar
Bounded Combinatorial Reconfiguration with Answer Set Programming
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023European Conference on Logics in Artificial Intelligence0 citations Open access
Semantic Scholar
On the Computational Complexity of Generalized Common Shape Puzzles
Mutsunori Banbara, S. Minato, H. Ono, R. Uehara
2023Conference on Current Trends in Theory and Practice of Informatics0 citations Open access
Semantic Scholar
Towards a Hybrid Encoding of Constraint Satisfaction Problems
Takehide Soh, Atsushi Sakoda, Mutsunori Banbara, Naoyuki Tamura
20150 citations
Semantic Scholar
SAT Solvers(My Bookmark)
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue
20130 citations
Semantic Scholar
Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems
Naoyuki Tamura, Mutsunori Banbara
20130 citations
Semantic Scholar