Updated on 2025/02/28
Doctor of Engineering （ 2002.9 Kobe University ）
Knowledge Representation and Reasoning
Boolean Satisfiability
Answer-Set Programming
Logic Programming
Constraint Programming
Nagoya University Graduate School of Informatics Professor
2018.10
Country：Japan
Kobe University Information Science and Technology Center Associate professor
2007.4 - 2018.9
Country：Japan
Kobe University Information Science and Technology Center Lecturer
2003.4 - 2007.3
Country：Japan
Nara National College of Technology Department of Liberal Arts Lecturer
1998.4 - 2003.9
Country：Japan
Nara National College of Technology Department of Liberal Arts Assistant
1996.4 - 1998.3
Country：Japan
Kobe University Graduate School, Division of Science and Technology Department of Mathematics
1994.4 - 1996.3
Country： Japan
Kobe University Faculty of Science Department of Mathematics
1989.4 - 1994.3
Country： Japan
The Japanese Society for Artificial Intelligence
Information Processing Society of Japan
Japan Society for Software Science and Technology
The 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR2025) KR in the Wild Track Co-Chair
2025.11
Committee type：Academic society
The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025) Program Committee
2025.1
Committee type：Academic society
The 21th International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) Program Committee
2024.11
Committee type：Academic society
The 40th International Conference on Logic Programming (ICLP 2024) Program Committee
2024.10
Committee type：Other
Japan Society for Software Science and Technology Head of Steering Committee, Special Interest Group on Programming and Programming Languages
2024.4 - 2026.3
Committee type：Academic society
The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) Program Committee
2023.9
Committee type：Academic society
The 38th International Conference on Logic Programming (ICLP 2022) Program Committee
2022.8
Committee type：Other
The 37th International Conference on Logic Programming (ICLP 2021) Program Committee
2021.9
Committee type：Other
The 30th International Joint Conference on Artificial Intelligence (IJCAI 2021) Senior Program Commitee
2021.8
Committee type：Other
The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) Senior Program Commitee
2021.1
Committee type：Other
The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020) Program Committee
2020.9
Committee type：Other
The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Program Committee
2020.9
Committee type：Other
The 36th International Conference on Logic Programming (ICLP 2020) Program Committee
2020.9
Committee type：Other
ICLP2023 ALP 10-Year Test-of-Time Award
2023.7 Association for Logic Programming Answer Set Programming as a Modeling Language for Course Timetabling
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
2024.10 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024) ASP-based Large Neighborhood Prioritized Search for Course Timetabling
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
1st places of 5 metrics on Solver track at CoRe Challenge 2023
2023.10 CoRe Challenge 2023
Masato Kato, Shuji Kosuge, Yuya Yamada, Kazuki Takada, Aoi Ito, and Mutsunori Banbara
2nd place on the CSP main track of 2023 XCSP3 Competition
2023.8 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
2nd place on the CSP main track of 2022 XCSP3 Competition
2022.8 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
1st place at CoRe Challenge 2022 on Single-engine Solvers shortest track
2022.7
JSAI Annual Conference Award (FY 2019)
2019.11 The Japanese Society for Artificial Intelligence A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2nd place at 2019 XCSP3 Competition on the main tracks of CSP (CPU ranking) and CSP (wallclock ranking)
2019.10 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
The 7th Best Review Paper Award (FY 2018)
2019.8 Japan Society for Software Science and Technology SAT-based Constraint Programming Systems and Related Technologies (in Japanese)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
Specially Selected Paper (FY 2018), IPSJ Journal
2018.9 Information Processing Society of Japan Proposal of SAT-based Method to Detect Deadlock of Petri nets (in Japanese)
Tomoya Sunda, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
1st place at 2018 XCSP3 Competition on the tracks of CSP(sequential) and CSP(parallel)
2018.8 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Special Award from the algorithm design contest of DA symposium 2017
2017.8 SIG-SLDM of Information Processing Society in Japan
2nd place at algorithm design contest of DA symposium 2016
2016.9 SIG-SLDM of Information Processing Society in Japan
The JSSST 20th Research Paper Award (FY 2015)
2015.9 Japan Society for Software Science and Technology Constraint Modeling and SAT Encoding of the Packing Array Problem
Haruki Noritake, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, and Katsumi Inoue
1st place at algorithm design contest of DA symposium 2015
2015.8 SIG-SLDM of Information Processing Society in Japan
SLDM Best Paper Award
2015 SIG-SLDM of Information Processing Society in Japan Solving Numberlink by a SAT-based Constraint Solver
Naoyuki Tamura, Takehide Soh, Mutsunori Banbara and Hidetomo Nabeshima
1st place at algorithm design contest of DA symposium 2014
2014.8 SIG-SLDM of Information Processing Society in Japan
2nd place at Seventh Max-SAT Evaluation (Max-SAT 2012) on Partial Weighted Max-SAT category (Crafted)
2012.6 Max-SAT Evaluation
1st place at Fourth International CSP Solver Competition (2009) on 3 categories out of 7 categories
2009.9 International CSP Solver Competition
1st place at Third International CSP/Max-CSP Solver Competitions (2008) on 4 categories out of 10 categories
2008.9 International CSP Solver Competition
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
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
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
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
Research on solvable regions of theoretically uncomputable/difficult classes
Grant number：24H00690 2024.4 - 2029.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A)
Authorship：Coinvestigator(s) Grant type：Competitive
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
Grant number：22K11973 2022.4 - 2025.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
Research and Development on SAT-based Integration of Systematic and Stochastic Search International coauthorship
Grant number：21K11828 2021.4 - 2024.3
Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Mutsunori Banbara
Authorship：Principal investigator Grant type：Competitive
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
Research on an Integrated Technique of Enumeration and Optimization based on Discrete Structure Manipulation System
Grant number：20H00605 2020.4 - 2025.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(A)
Shin-ichi Minato
Authorship：Coinvestigator(s) Grant type：Competitive
Understanding of Large Discrete Structures and Creation of Innovative Algorithmic Foundations
Grant number：20H05964 2020.4 - 2025.3
Grants-in-Aid for Scientific Research (KAKENHI) Grant-in-Aid for Transformative Research Areas (A)
Takashi Horiyama
Authorship：Coinvestigator(s) Grant type：Competitive
Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques International coauthorship
Grant number：18K11242 2018.4 - 2021.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(C)
Mutsunori Banbara
Authorship：Principal investigator Grant type：Competitive
Research and Development of a New Constraint Programming System based on SAT International coauthorship
Grant number：16H02803 2016.4 - 2019.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(B)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
Research and Development on Constraint Answer Set Programming Using SAT Encoding International coauthorship
Grant number：15K00099 2015.4 - 2018.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(C)
Authorship：Principal investigator Grant type：Competitive
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques International coauthorship
Grant number：24300007 2012.4 - 2015.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(B)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines
Grant number：22700032 2010.4 - 2013.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Young Scientists(B)
Mutsunori Banbara
Authorship：Principal investigator Grant type：Competitive
Study of SAT-Based Constraint Optimization Problem Solving and Its Parallel Distributed Processing International coauthorship
Grant number：20240003 2008.4 - 2012.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(A)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
A Prolog-Based Parallel Execution System for Multiple SAT Solvers
Grant number：19700025 2007.4 - 2010.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Young Scientists(B)
Mutsunori Banbara
Authorship：Principal investigator Grant type：Competitive
Development of a Java-Based Next-Generation Prolog Compiler System and Its Applications
Grant number：17500094 2005.4 - 2008.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(C)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
Development of a Java-Based Next-Generation Prolog Compiler System and Its Applications
Grant number：15700038 2003.4 - 2006.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Young Scientists(B)
Mutsunori Banbara
Authorship：Principal investigator Grant type：Competitive
Research of Automated Deduction System for Linear Logic
Grant number：14580375 2002.4 - 2005.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(C)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
Design and System Development of a Programming Language Based on a Temporal Linear Logic
Grant number：11680359 1999.4 - 2001.3
Grant-in-Aid for Scientific Research Grant-in-Aid for Scientific Research(C)
Naoyuki Tamura
Authorship：Coinvestigator(s) Grant type：Competitive
