Banbara Mutsunori

バンバラムツノリ | Banbara Mutsunori

Affiliation and department：
Job title： Professor

Research field (3)： Intelligent informatics , Software , Information theory

Research keywords (5)： Knowledge Representation and Reasoning , Answer-Set Programming , Logic Programming , Constraint Programming , SAT

Research theme for competitive and other funds (37)：

2022 - 2025 Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
2020 - 2025 Algorithmic Foundations Based on Large-Scale Discrete Structures
2020 - 2025 Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems
2023 - 2024 SAT 技術を用いた組合せ遷移問題の解法に関する研究
2021 - 2024 Research and Development on SAT-based Integration of Systematic and Stochastic Search

Show all

Papers (36)：

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024). 2024. LNCS 14549. 242-256
Mutsunori Banbara, Shin-Ichi Minato, Hirotaka Ono, Ryuhei Uehara. On the Computational Complexity of Generalized Common Shape Puzzles. Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024). 2024. 14519 LNCS. 55-68
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura. SAF: SAT-based Attractor Finder in Asynchronous Automata Networks. Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023). 2023. LNCS 14137. 175-183
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura. Hamiltonian Cycle Reconfiguration with Answer Set Programming. In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023), Lecture Notes in Artificial Intelligence. 2023. 14281. to appear-16p.
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub. Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023). 2023. 14281 LNAI. 278-286

ｍore...

Lectures and oral presentations (36)：

Dominating Set Reconfiguration with Answer Set Programming
(The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024) 2024)
heulingo: an ASP-based Implementation of Large Neighborhood Prioritized Search for Combinatorial Optimization
(The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024) 2024)
On the Computational Complexity of Generalized Common Shape Puzzles
(The 15th Gathering 4 Gardner Conference (2024) 2024)
Computing Text Compression Measures with Answer Set Programming
(LA Symposium 2023 Winter 2024)
SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携
(第125回人工知能基本問題研究会 2023)

ｍore...

Education (2)：

1994 - 1996 Kobe University Graduate School, Division of Science and Technology
1989 - 1994 Kobe University Faculty of Science

Professional career (1)：

博士(工学) (神戸大学)

Work history (9)：

2018/10/01 - 現在 Nagoya University Graduate School of Informatics, Department of Computing and Software Systems
2010/07/01 - 2018/09/30 Kobe University Information Science and Technology Center
2013/07 - 2014/07 ポツダム大学客員研究員
2007/04/01 - 2010/06/30 神戸大学学術情報基盤センター学術情報処理研究部門准教授
2007/04/01 - 2010/06/30 Kobe University

Show all

Awards (22)：

2023/10 - CoRe Challenge 2023 1st places of 5 metrics on Solver track at CoRe Challenge 2023
2023/08 - XCSP3 Competition 2nd place on the CSP main track of 2023 XCSP3 Competition
2023/07 - Association for Logic Programming ICLP2023 ALP 10-Year Test-of-Time Award Answer Set Programming as a Modeling Language for Course Timetabling
2022/08 - XCSP3 Competition 2nd place on the CSP main track of 2022 XCSP3 Competition
2022/08 - XCSP3 Competition 2022 XCSP3 Competition 準優勝

2022/07 - CoRe Challenge 2022 国際組合せ遷移競技会 (CoRe Challenge 2022) Single-engine Solvers shortest 部門第1位

2019/11 - 人工知能学会 2019年度全国大会優秀賞 A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition

2019/10 - XCSP3 Competition 2019 XCSP3 Competition 準優勝

2019/10 - 2019 XCSP3 Competition 2019 XCSP3 Competition 準優勝

2019/08 - 日本ソフトウェア科学会第7回解説論文賞(2018年度) SAT型制約プログラミングシステムと周辺技術

2018/09 - 情報処理学会情報処理学会論文誌ジャーナル/JIP特選論文 SAT技術を用いたペトリネットのデッドロック検出手法の提案

2018/08 - XCSP3 Competition 2018 XCSP3 Competition 優勝

2018/08 - 2018 XCSP3 Competition 2018 XCSP3 Competition 優勝

2017/08 - 情報処理学会システムとLSIの設計技術研究会 DAシンポジウム2017 アルゴリズムデザインコンテスト特別賞

2016/09 - 情報処理学会システムとLSIの設計技術研究会 DAシンポジウム2016 アルゴリズムデザインコンテスト優秀賞

2015/09 - 日本ソフトウェア科学会日本ソフトウェア科学会第20回研究論文賞パッキング配列問題の制約モデリングとSAT符号化

2015/08 - 情報処理学会システムとLSIの設計技術研究会 DAシンポジウム2015 アルゴリズムデザインコンテスト最優秀賞

2015 - 情報処理学会システムとLSIの設計技術研究会 SLDM優秀論文賞 SAT型制約ソルバーを用いたナンバーリンクの解法

2014/08 - 情報処理学会システムとLSIの設計技術研究会 DAシンポジウム2014 アルゴリズムデザインコンテスト最優秀賞

2012/06 - Max-SAT Evaluation Seventh Max-SAT Evaluation (Max-SAT 2012) Weighted Partial Max-SAT カテゴリ(Crafted) 準優勝

2009/09 - International CSP Solver Competition Fourth International CSP Solver Competition 優勝

2008/09 - International CSP Solver Competition Third International CSP Solver Competition 優勝

Show all

Association Membership(s) (3)：

人工知能学会 , 情報処理学会 , 日本ソフトウェア科学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page