Mutsunori Banbara

48 papers A* 2A 7B 12C 1Misc 1Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Smallest String Attractors of Fibonacci and Period-Doubling Words.
CoRR
Mutsunori Banbara, Hideo Bannai, Peaker Guo, Dominik Köppl, Takuya Mieno, Yoshio Okamoto
2025 A* conf
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks.
IJCAI
Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura
2025 A conf
Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
ECAI
Kazuki Takada, Mutsunori Banbara, Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Torsten Schaub, Ryuhei Uehara
2025 A conf
SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints.
SAT
Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura
2025 B conf
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital.
ICLP
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
2024 B conf
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling.
LPNMR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 B conf
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
WALCOM
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
CoRR
Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
Theory Pract. Log. Program.
Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2024 A* conf
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
KR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
CoRR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 B conf
On the Computational Complexity of Generalized Common Shape Puzzles.
SOFSEM
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
2023 J jnl
Bounded Combinatorial Reconfiguration with Answer Set Programming.
CoRR
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023 B conf
Hamiltonian Cycle Reconfiguration with Answer Set Programming.
JELIA
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2023 J jnl
On the Computational Complexity of Generalized Common Shape Puzzles.
CoRR
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara
2023 B conf
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.
JELIA
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
2023 — conf
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.
CMSB
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2023 — conf
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.
BIOINFORMATICS
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2023 C conf
Solving Vehicle Equipment Specification Problems with Answer Set Programming.
PADL
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
2022 J jnl
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.
CoRR
Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
2021 J jnl
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions.
CoRR
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
2019 J jnl
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res.
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2017 J jnl
Clingcon: The Next Generation.
CoRR
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Clingcon: The next generation.
Theory Pract. Log. Program.
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
2017 J jnl
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
Int. J. Artif. Intell. Tools
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2017 A conf
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.
CP
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
2017 B conf
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
LPNMR
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2015 B conf
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
ICTAI
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2015 B conf
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
LPNMR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2014 B conf
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.
JELIA
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
2013 J jnl
Answer set programming as a modeling language for course timetabling.
Theory Pract. Log. Program.
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
2013 J jnl
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
CoRR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2013 B conf
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.
ICTAI
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
2013 A conf
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.
SAT
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2012 A conf
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).
SAT
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
2012 — conf
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.
ICLP (Technical Communications)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2011 A conf
A Compact and Efficient SAT-Encoding of Finite Domain CSP.
SAT
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
2010 J jnl
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
Fundam. Informaticae
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2010 — conf
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.
LPAR (Yogyakarta)
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
2010 Misc conf
Solving Constraint Satisfaction Problems with SAT Technology.
FLOPS
Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
2009 J jnl
Compiling finite linear CSP into SAT.
Constraints An Int. J.
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
2008 — conf
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
RCRA
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2006 J jnl
A competitive and cooperative approach to propositional satisfiability.
Discret. Appl. Math.
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
2006 A conf
Compiling Finite Linear CSP into SAT.
CP
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
2005 — conf
Prolog Cafe : A Prolog to Java Translator System.
INAP
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
2001 B conf
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.
ICLP
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
1999 — conf
Translating a Linear Logic Programming Language into Java.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Mutsunori Banbara, Naoyuki Tamura
1998 — conf
Compiling Resources in a Linear Logic Programming Language.
Implementation Technology for Programming Languages based on Logic
Mutsunori Banbara, Naoyuki Tamura