Papers - BANBARA Mutsunori
-
Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions
Mutsunori Banbara, Kenji Hashimoto, Takashi Horiyama, Kosuke Oguri, Shin-ichi Minato, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, and Norihito Yasuda
Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice page： 187 - 207 2025.3
-
Dominating Set Reconfiguration with Answer Set Programming Reviewed International coauthorship
Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Theory and Practice of Logic Programming Vol. 24 ( 4 ) page： 755 - 771 2025.1
-
Fast Enumeration of All Cost-Bounded Solutions for Combinatorial Problems Using ZDDs Reviewed International journal
Shin-ichi Minato, Jun Kawahara, Mutsunori Banbara, Takashi Horiyama, Ichigaku Takigawa, Yutaro Yamaguchi
Discrete Applied Mathematics Vol. 360 page： 467 - 486 2025.1
-
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming Reviewed International coauthorship
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 (KR 2024) page： 765 - 776 2024.11
-
ASP-based Large Neighborhood Prioritized Search for Course Timetabling Reviewed International coauthorship
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024) Vol. LNAI 15245 page： 57 - 70 2024.10
-
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis Reviewed International coauthorship
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, and Ryuhei Uehara
Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024) Vol. LNCS 14549 page： 242 - 256 2024.2
-
On the Computational Complexity of Generalized Common Shape Puzzles Reviewed
Mutsunori Banbara, Shin-Ichi Minato, Hirotaka Ono, and Ryuhei Uehara
Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024) Vol. 14519 LNCS page： 55 - 68 2024.2
-
SAF: SAT-based Attractor Finder in Asynchronous Automata Networks Reviewed International coauthorship
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara and Naoyuki Tamura
Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023) Vol. LNCS 14137 page： 175 - 183 2023.9
-
Hamiltonian Cycle Reconfiguration with Answer Set Programming Reviewed International coauthorship
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, and Naoyuki Tamura
Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023) Vol. 14281 LNAI page： 262 - 277 2023.9
-
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming Reviewed International coauthorship
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, and Torsten Schaub
Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023) Vol. 14281 LNAI page： 278 - 286 2023.9
-
SAT-based Method for Finding Attractors in Asynchronous Multi-valued Networks Reviewed International coauthorship
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara and Naoyuki Tamura
Proceedings of the 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023) 2023.2
-
Solving Vehicle Equipment Specification Problems with Answer Set Programming Reviewed International coauthorship
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, and Torsten Schaub
Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) page： 232 - 249 2023.1
-
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming Reviewed
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
Annals of Operations Research Vol. 275 ( 1 ) page： 3–37 2019.4
-
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation Reviewed
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), Lecture Notes in Computer Science Vol. 10416 page： 596-614 2017.8
-
Clingcon: The Next Generation Reviewed
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, and Torsten Schaub
Theory and Practice of Logic Programming Vol. 17 ( 4 ) page： 408-461 2017.7
-
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming Reviewed
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Lecture Notes in Artificial Intelligence Vol. 10377 page： 265-278 2017.6
-
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed
Takehide Soh, Mutsunori Banbara and Naoyuki Tamura
International Journal on Artificial Intelligence Tools Vol. 26 ( 1 ) 2017.2
-
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming Reviewed
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016) page： 13-32 2016.8
-
\sum_x-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems Reviewed
Maxime Clement, Tenda Okimoto, Katsumi Inoue, Mutsunori Banbara
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016) page： 63-79 2016.8
-
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) page： 421-428 2015.11
-
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming Reviewed
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015), Lecture Notes in Artificial Intelligence Vol. 9345 page： 112-126 2015.9
-
Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem Reviewed
Takehide Soh, Daniel Le Berre, Stephanie Roussel, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Lecture Notes in Artificial Intelligence Vol. 8761 page： 684-693 2014.9
-
Answer Set Programming as a Modeling Language for Course Timetabling Reviewed
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
Theory and Practice of Logic Programming Vol. 13 ( 4-5 ) page： 783-798 2013.7
-
A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem Reviewed
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara and Hidetomo Nabeshima
Fundamenta Informaticae Vol. 102 ( 3-4 ) page： 467-487 2010
-
Compiling finite linear CSP into SAT Reviewed
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, and Mutsunori Banbara
CONSTRAINTS Vol. 14 ( 2 ) page： 254-272 2009.6
-
A Competitive and Cooperative Approach to Propositional Satisfiability Reviewed
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, and Naoyuki Tamura
Discrete Applied Mathematics Vol. 154 ( 16 ) page： 2291-2306 2006.11