番原睦則

バンバラムツノリ | Banbara Mutsunori

所属機関・部署：
職名：教授

研究分野 (3件)：知能情報学 , ソフトウェア , 情報学基礎論

研究キーワード (5件)：知識表現及び推論 , 解集合プログラミング , 論理プログラミング , 制約プログラミング , SAT

競争的資金等の研究課題 (37件)：

全件表示

論文 (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
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

講演・口頭発表等 (36件)：

解集合プログラミングを用いた支配集合遷移
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
On the Computational Complexity of Generalized Common Shape Puzzles
(The 15th Gathering 4 Gardner Conference (2024) 2024)
Answer Set Programming を用いた圧縮指標の計算
(2023年度冬のLAシンポジウム 2024)
SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携
(第125回人工知能基本問題研究会 2023)

学歴 (2件)：

学位 (1件)：

経歴 (9件)：

全件表示

受賞 (22件)：

2023/10 - CoRe Challenge 2023 組合せ遷移問題に関する国際ソルバー競技会 (CoRe Challenge 2023) Solver Track 全12部門中5部門で優勝
2023/08 - XCSP3 Competition 2023 XCSP3 Competition Main CSP 部門準優勝
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 2022 XCSP3 Competition Main CSP 部門準優勝
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 優勝

全件表示

所属学会 (3件)：

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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

番原 睦則