Updated on 2024/07/13

写真a

 
BANBARA Mutsunori
 
Organization
Graduate School of Informatics Department of Computing and Software Systems 1 Professor
Graduate School
Graduate School of Informatics
Undergraduate School
School of Informatics Department of Computer Science
Title
Professor
Contact information
メールアドレス

Degree 1

  1. Doctor of Engineering ( 2002.9   Kobe University ) 

Research Interests 5

  1. Knowledge Representation and Reasoning

  2. Boolean Satisfiability

  3. Answer-Set Programming

  4. Logic Programming

  5. Constraint Programming

Research History 5

  1. Nagoya University   Graduate School of Informatics   Professor

    2018.10

      More details

    Country:Japan

  2. Kobe University   Information Science and Technology Center   Associate professor

    2007.4 - 2018.9

      More details

    Country:Japan

  3. Kobe University   Information Science and Technology Center   Lecturer

    2003.4 - 2007.3

      More details

    Country:Japan

  4. Nara National College of Technology   Department of Liberal Arts   Lecturer

    1998.4 - 2003.9

      More details

    Country:Japan

  5. Nara National College of Technology   Department of Liberal Arts   Assistant

    1996.4 - 1998.3

      More details

    Country:Japan

Education 2

  1. Kobe University   Graduate School, Division of Science and Technology   Department of Mathematics

    1994.4 - 1996.3

      More details

    Country: Japan

  2. Kobe University   Faculty of Science   Department of Mathematics

    1989.4 - 1994.3

      More details

    Country: Japan

Professional Memberships 3

  1. The Japanese Society for Artificial Intelligence

  2. Information Processing Society of Japan

  3. Japan Society for Software Science and Technology

Committee Memberships 11

  1. The 21th International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)   Program Committee  

    2024.11   

      More details

    Committee type:Academic society

  2. The 40th International Conference on Logic Programming (ICLP 2024)   Program Committee  

    2024.10   

      More details

    Committee type:Other

  3. Japan Society for Software Science and Technology   Head of Steering Committee, Special Interest Group on Programming and Programming Languages  

    2024.4 - 2026.3   

      More details

    Committee type:Academic society

  4. The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)   Program Committee  

    2023.9   

      More details

    Committee type:Academic society

  5. The 38th International Conference on Logic Programming (ICLP 2022)   Program Committee  

    2022.8   

      More details

    Committee type:Other

  6. The 37th International Conference on Logic Programming (ICLP 2021)   Program Committee  

    2021.9   

      More details

    Committee type:Other

  7. The 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)   Senior Program Commitee  

    2021.8   

      More details

    Committee type:Other

  8. 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   

      More details

    Committee type:Other

  9. The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

  10. The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

  11. The 36th International Conference on Logic Programming (ICLP 2020)   Program Committee  

    2020.9   

      More details

    Committee type:Other

▼display all

Awards 19

  1. 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

     More details

    Award type:Award from international society, conference, symposium, etc. 

  2. 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

  3. 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

     More details

    Country:Canada

  4. 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

     More details

    Country:Israel

  5. 1st place at CoRe Challenge 2022 on Single-engine Solvers shortest track

    2022.7  

  6. 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

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

  7. 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

     More details

    Country:United States

  8. 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

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

  9. 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

     More details

    Award type:Honored in official journal of a scientific society, scientific journal  Country:Japan

  10. 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

     More details

    Country:France

  11. Special Award from the algorithm design contest of DA symposium 2017

    2017.8   SIG-SLDM of Information Processing Society in Japan  

     More details

    Country:Japan

  12. 2nd place at algorithm design contest of DA symposium 2016

    2016.9   SIG-SLDM of Information Processing Society in Japan  

     More details

    Country:Japan

  13. 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

     More details

    Award type:Honored in official journal of a scientific society, scientific journal  Country:Japan

  14. 1st place at algorithm design contest of DA symposium 2015

    2015.8   SIG-SLDM of Information Processing Society in Japan  

     More details

    Country:Japan

  15. 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

     More details

    Award type:Award from Japanese society, conference, symposium, etc.  Country:Japan

  16. 1st place at algorithm design contest of DA symposium 2014

    2014.8   SIG-SLDM of Information Processing Society in Japan  

     More details

    Country:Japan

  17. 2nd place at Seventh Max-SAT Evaluation (Max-SAT 2012) on Partial Weighted Max-SAT category (Crafted)

    2012.6   Max-SAT Evaluation  

     More details

    Country:Italy

  18. 1st place at Fourth International CSP Solver Competition (2009) on 3 categories out of 7 categories

    2009.9   International CSP Solver Competition  

     More details

    Country:Portugal

  19. 1st place at Third International CSP/Max-CSP Solver Competitions (2008) on 4 categories out of 10 categories

    2008.9   International CSP Solver Competition  

     More details

    Country:Australia

▼display all

 

Papers 21

  1. 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-031-52113-3_4

    Scopus

  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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-981-97-0566-5_18

  3. 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-031-42697-1_12

  4. 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-031-43619-2_19

    Scopus

    Other Link: https://link.springer.com/chapter/10.1007/978-3-031-43619-2_19

  5. 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-031-43619-2_20

    Scopus

    Other Link: https://link.springer.com/chapter/10.1007/978-3-031-43619-2_20

  6. 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  7. 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

    DOI: 10.1007/978-3-031-24841-2_15

  8. 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10479-018-2757-7

  9. 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

     More details

    Language:English  

    DOI: 10.1007/978-3-319-66158-2_38

  10. 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1017/S1471068417000138

  11. 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

     More details

    Authorship:Lead author   Language:English  

    DOI: 10.1007/978-3-319-61660-5_24

  12. 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1142/S0218213017600053

  13. 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

     More details

    Authorship:Lead author   Language:English  

  14. \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

     More details

    Language:English  

  15. 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

     More details

    Language:English  

    DOI: 10.1109/ICTAI.2015.70

  16. 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

     More details

    Authorship:Lead author   Language:English  

    DOI: 10.1007/978-3-319-23264-5_10

  17. 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

     More details

    Language:English  

    DOI: 10.1007/978-3-319-11558-0_52

  18. 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1017/S1471068413000495

  19. 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.3233/FI-2010-314

  20. 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1007/s10601-008-9061-0

  21. 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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1016/j.dam.2006.04.015

▼display all

KAKENHI (Grants-in-Aid for Scientific Research) 15

  1. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  2. 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

      More details

    Authorship:Principal investigator  Grant type:Competitive

    Grant amount:\4160000 ( Direct Cost: \3200000 、 Indirect Cost:\960000 )

  3. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  4. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  5. 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

      More details

    Authorship:Principal investigator  Grant type:Competitive

  6. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  7. 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)

      More details

    Authorship:Principal investigator  Grant type:Competitive

  8. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  9. 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

      More details

    Authorship:Principal investigator  Grant type:Competitive

  10. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  11. 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

      More details

    Authorship:Principal investigator  Grant type:Competitive

  12. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  13. 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

      More details

    Authorship:Principal investigator  Grant type:Competitive

  14. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

  15. 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

      More details

    Authorship:Coinvestigator(s)  Grant type:Competitive

▼display all

 

Teaching Experience (On-campus) 10

  1. 知識表現・推論特論2

    2020

  2. 知識表現・推論特論1

    2020

  3. 計算論基礎特論B

    2020

  4. 最適化2

    2020

  5. 最適化1

    2020

  6. 基礎セミナーA

    2020

  7. 計算論基礎特論B

    2019

  8. 最適化2

    2019

  9. 最適化1

    2019

  10. 基礎セミナーA

    2019

▼display all