Updated on 2024/03/12
博士(工学) （ 2002.9 神戸大学 ）
Knowledge Representation and Reasoning
Answer-Set Programming
Logic Programming
Constraint Programming
SAT
Informatics / Intelligent informatics
Informatics / Theory of informatics
Informatics / Software
Answer-Set Programming
Logic Programming
Constraint Programming
SAT
Nagoya University Professor
2018.10
Country：Japan
ポツダム大学 客員研究員
2013.7 - 2014.7
Country：Japan
Kobe University Associate professor
2010.7 - 2018.9
Country：Japan
Kobe University Associate professor
2007.4 - 2010.6
Country：Japan
Kobe University Lecturer
2003.4 - 2007.3
Country：Japan
Nara National College of Technology Lecturer
1998.4 - 2003.9
Country：Japan
Nara National College of Technology Assistant
1996.4 - 1998.3
Country：Japan
Kobe University Graduate School, Division of Science and Technology
1994.4 - 1996.3
Country： Japan
Kobe University Faculty of Science
1989.4 - 1994.3
Country： Japan
人工知能学会
情報処理学会
日本ソフトウェア科学会
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
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
国際組合せ遷移競技会 (CoRe Challenge 2022) Single-engine Solvers shortest 部門 第1位
2022.7 CoRe Challenge 2022
山田悠也, 竹内頼人, 小菅脩司, 加藤聖人, 番原睦則
2019年度全国大会優秀賞
2019.11 人工知能学会
2019 XCSP3 Competition 準優勝
2019.10 XCSP3 Competition
第7回解説論文賞(2018年度)
2019.8 日本ソフトウェア科学会 SAT型制約プログラミングシステムと周辺技術
宋剛秀, 番原睦則, 田村直之
情報処理学会論文誌ジャーナル/JIP特選論文
2018.9 情報処理学会 SAT技術を用いたペトリネットのデッドロック検出手法の提案
寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
2018 XCSP3 Competition 優勝
2018.8 XCSP3 Competition
DAシンポジウム2017 アルゴリズムデザインコンテスト 特別賞
2017.8 情報処理学会 システムとLSIの設計技術研究会
坡山直樹, 飯野有軌, 番原睦則, 田村直之
DAシンポジウム2016 アルゴリズムデザインコンテスト 優秀賞
2016.9 情報処理学会 システムとLSIの設計技術研究会
坡山直樹, 川原征大, 迫龍哉, 番原睦則
日本ソフトウェア科学会 第20回研究論文賞
2015.9 日本ソフトウェア科学会 パッキング配列問題の制約モデリングとSAT符号化
則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
DAシンポジウム2015 アルゴリズムデザインコンテスト 最優秀賞
2015.8 情報処理学会 システムとLSIの設計技術研究会
迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
SLDM優秀論文賞
2015 情報処理学会 システムとLSIの設計技術研究会 SAT型制約ソルバーを用いたナンバーリンクの解法
田村直之, 宋剛秀, 番原睦則, 鍋島英知
DAシンポジウム2014 アルゴリズムデザインコンテスト 最優秀賞
2014.8 情報処理学会 システムとLSIの設計技術研究会
田村直之, 番原睦則, 宋剛秀, 鍋島英知
Seventh Max-SAT Evaluation (Max-SAT 2012) Weighted Partial Max-SAT カテゴリ(Crafted) 準優勝
2012.6 Max-SAT Evaluation
本條健吾, 番原睦則
Fourth International CSP Solver Competition 優勝
2009.9 International CSP Solver Competition
田村直之. 番原睦則
Third International CSP Solver Competition 優勝
2008.9 International CSP Solver Competition
田村直之. 番原睦則
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 International journal
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 International journal
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 International journal
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
Solving Power Distribution Network Problems with Answer Set Programming Reviewed
Kentaro Yamada, Shin-ichi Minato, Naoyuki Tamura, and Mutsunori Banbara
Computer Software Vol. 40 ( 2 ) page： 3 - 18 2023.4
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
Fun-sCOP
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
XCSP3 Competition 2019 Solver Description page： 2 2019.10
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
SAT技術を用いたペトリネットのデッドロック検出手法の提案 Reviewed
寸田智也, 宋剛秀, 番原睦則, 田村直之, 井上克巳
情報処理学会論文誌 Vol. 59 ( 9 ) page： 1749-1760 2018.9
ブール基数制約を経由した擬似ブール制約のSAT符号化手法 Reviewed
南雄之, 宋剛秀, 番原睦則, 田村直之
コンピュータソフトウェア Vol. 35 ( 3 ) page： 65-78 2018.7
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
インクリメンタルSAT解法ライブラリとその応用 Reviewed
迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
コンピュータソフトウェア Vol. 33 ( 4 ) page： 16-29 2016.10
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
パッキング配列問題の制約モデリングとSAT符号化 Reviewed
則武治樹, 番原睦則, 宋剛秀, 田村直之, 井上克巳
コンピュータソフトウェア Vol. 31 ( 1 ) page： 116-130 2014.1
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
位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化 Reviewed
丹生智也, 田村直之, 番原睦則
コンピュータソフトウェア Vol. 30 ( 1 ) page： 211-230 2013.1
Scala上の制約プログラミング用ドメイン特化言語Coprisについて Reviewed
田村直之, 丹生智也, 番原睦則
コンピュータソフトウェア Vol. 29 ( 4 ) page： 114-129 2012.10
SAT符号化を用いた釣合い型不完備ブロック計画の構成 Reviewed
松中春樹, 丹生智也, 番原睦則, 田村直之
人工知能学会論文誌 Vol. 27 ( 2 ) page： 10-15 2012
SAT変換に基づく制約ソルバーとその性能評価 Reviewed
田村直之, 丹生智也, 番原睦則
コンピュータソフトウェア Vol. 27 ( 4 ) page： 183-196 2010.10
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
PrologからJavaへのトランスレータ処理系とその応用 Reviewed
番原睦則, 田村直之, 井上克巳
コンピュータソフトウェア Vol. 24 ( 3 ) page： 75-86 2007
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
線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム Reviewed
田村直之, 番原睦則
コンピュータソフトウェア Vol. 22 ( 1 ) page： 98-103 2005.1
LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム Reviewed
田村直之, 番原睦則
コンピュータソフトウェア Vol. 20 ( 5 ) page： 502-508 2003.9
時相線形論理型言語のコンパイラ処理系のための抽象機械について Reviewed
番原睦則, 姜京順, 田村直之
情報処理学会論文誌：プログラミング Vol. 42 ( SIG11(PRO12) ) page： 52-66 2001.11
線形論理型言語の効率的なリソース管理モデル Reviewed
姜京順, 番原睦則, 田村直之
コンピュータ ソフトウェア Vol. 18 ( 0 ) page： 138-154 2001.2
線形論理型言語のコンパイラ処理系のための抽象機械について Reviewed
番原睦則, 姜京順, 田村直之
コンピュータ ソフトウェア Vol. 18 ( 1 ) page： 195-216 2001
直観主義時相線形論理における論理プログラミングについて Reviewed
田村直之, 平井崇晴, 吉川英男, 姜京順, 番原睦則
情報処理学会論文誌：プログラミング Vol. 41 ( SIG4(PRO7) ) page： 11-23 2000.6
古典線形論理型プログラミング言語の静的解析の一手法について Reviewed
姜京順, 番原睦則, 田村直之
情報処理学会論文誌：プログラミング Vol. 41 ( SIG4(PRO7) ) page： 42-55 2000.6
線形論理型言語のJava言語による処理系の設計と実装 Reviewed
番原睦則, 姜京順, 田村直之
情報処理学会論文誌：プログラミング Vol. 40 ( SIG10(PRO5) ) page： 1-16 1999.12
heulingo: an ASP-based Implementation of Large Neighborhood Prioritized Search for Combinatorial Optimization
Irumi Sugimori, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima, and Mutsunori Banbara
The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024) 2024.3.5 JSSST Special Interest Group on Programming and Programming Languages
Dominating Set Reconfiguration with Answer Set Programming
Masato Kato, Takehide Soh, Naoyuki Tamura, and Mutsunori Banbara
The 26th JSSST Workshop on Programming and Programming Languages</i> (PPL 2024) 2024.3.7 JSSST Special Interest Group on Programming and Programming Languages
On the Computational Complexity of Generalized Common Shape Puzzles International conference
Mutsunori Banbara, Shin-Ichi Minato, Hirotaka Ono, and Ryuhei Uehara
The 15th Gathering 4 Gardner Conference (2024) 2024.2
Computing Text Compression Measures with Answer Set Programming
Dominik Koeppl and Mutsunori Banbara
LA Symposium 2023 Winter 2024.2.20
SQL 型制約プログラミングシステム CombSQL+ の複数制約ソルバー連携
小菅脩司, 酒井正彦, 番原睦則
第125回人工知能基本問題研究会 2023.8.30 人工知能学会
解集合プログラミングを用いたトークンスライディング型・独立集合遷移問題の解法に関する考察
髙田和紀, 山田悠也, 番原睦則
2023年度人工知能学会全国大会(第37回) 2023.6.7 人工知能学会
解集合プログラミングを用いた支配集合遷移問題の解法に関する考察
加藤聖人, 宋剛秀, 田村直之, 番原睦則
2023年度人工知能学会全国大会(第37回) 2023.6.7 人工知能学会
解集合プログラミングを用いたハミルトン閉路遷移問題の解法
平手貴大, 番原睦則, 井上克巳, 盧暁南, 鍋島英知, 宋剛秀, 田村直之
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023.3.6 日本ソフトウェア科学会 プログラミング論研究会
A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems International conference
Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa and Yutaro Yamaguchi
The fifth Workshop on Enumeration Problems and Applications (WEPA-2022) 2022.11.23
解集合プログラミングを用いたクイーン支配問題の解法に関する一考察
加藤聖人, 田村直之, 番原睦則
日本ソフトウェア科学会第39回大会 2022.9.1 日本ソフトウェア科学会
解集合プログラミングに基づく組合せ遷移ソルバーとその性能評価
山田悠也, 番原睦則
日本ソフトウェア科学会第39回大会 2022.8.31 日本ソフトウェア科学会
解集合プログラミングを用いた独立集合遷移問題の解法に関する考察
山田悠也, 加藤聖人, 小菅脩司, 竹内頼人, 番原睦則
2022年度人工知能学会全国大会(第36回) 2022.6.17 人工知能学会
Solving Rep-tile by Computers International conference
Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
The 14th Gathering 4 Gardner Conference (2022) 2022.4.7
ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙
湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
第187回アルゴリズム研究発表会 2022.3.14 情報処理学会アルゴリズム研究会
レプ・タイルの定式化を用いた各種ソルバの性能比較
番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁
第16回組合せゲーム・パズル研究集会 2022.3.8
解集合プログラミングを用いた配電網問題の解法
山田健太郎, 湊真一, 田村直之, 番原睦則
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 2022.3.7 日本ソフトウェア科学会
解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価
桑原和也, 宋剛秀, 田村直之, 番原睦則
情報処理学会第84回全国大会 2022.3.3 情報処理学会
チャネリング制約を用いた alldifferent 制約の SAT 符号化
小菅脩司, 宋剛秀, 田村直之, 番原睦則
情報処理学会第84回全国大会 2022.3.3 情報処理学会
レプ・タイルの定式化を用いた各種ソルバの性能比較
番原 睦則, 橋本 健二, 堀山 貴史, 湊 真一, 中村 駆, 西野 正彬, 酒井 正彦, 上原 隆平, 宇野 裕之, 安田 宜仁
人工知能学会研究会資料 人工知能基本問題研究会 2022.1.27 一般社団法人 人工知能学会
解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察
山田悠也, 湊真一, 番原睦則
日本ソフトウェア科学会第38回大会 2021.9.3 日本ソフトウェア科学会
解集合プログラミングを用いたハミルトン閉路問題の解法に関する考察
平手貴大, 宋剛秀, 田村直之, 番原睦則
日本ソフトウェア科学会第38回大会 2021.9.2 日本ソフトウェア科学会
Towards CEGAR-based Parallel SAT Solving International conference
Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Pragmatics of SAT (PoS 2021) 2021.7.5
Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming
TAKEUCHI Raito, TAMURA Naoyuki, BANBARA Mutsunori
Proceedings of the Annual Conference of JSAI 2021.6.8 The Japanese Society for Artificial Intelligence
A Study on ASP-based Integration of Systematic and Stochastic Local Search
KUWAHARA Kazuya, TAMURA Naoyuki, BANBARA Mutsunori
Proceedings of the Annual Conference of JSAI 2021.6.8 The Japanese Society for Artificial Intelligence
コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法
湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
電子情報通信学会コンピュテーション研究会 2020.12.4 電子情報通信学会
車両装備仕様問題に対する解集合プログラミングの適用
竹内頼人, 田村直之, 番原睦則
日本ソフトウェア科学会第37回大会 2020.9.9 日本ソフトウェア科学会
解集合プログラミングを用いた配電網問題の解法に関する一考察
山田健太郎, 湊真一, 番原睦則
日本ソフトウェア科学会第37回大会 2020.9.8 日本ソフトウェア科学会
解集合プログラミングによる様相命題論理Kの充足可能性判定
飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
2020年度人工知能学会全国大会(第34回) 2020.6.10 人工知能学会
CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳
人工知能基本問題研究会(第112回) 2020.3.8 人工知能学会
正規制約に対するSAT符号化手法の提案と評価
生田哲也, 田村直之, 宋剛秀, 番原睦則
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
解集合ソルバーを用いた様相命題論理の充足可能性判定
飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition International coauthorship
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, and Naoyuki Tamura
2019.6.4
解集合プログラミングによるカリキュラムベース・コース時間割編成 Invited
番原睦則
第29回RAMPシンポジウム
SAT から解集合プログラミングへ Invited
番原睦則
2017年度人工知能学会全国大会(第31回) オーガナイズドセッション「OS-2 SAT技術の理論，実装，応用」
SAT ソルバーの進歩 Invited
番原睦則
2017年電子情報通信学会総合大会 依頼シンポジウムセッション「組合せ最適化問題の発見的手法とそのVLSI CADへの応用」
University Course Timetabling with Answer Set Programming Invited International conference
Mutsunori Banbara
The 3rd Workshop on Hybrid Reasoning for Intelligent Systems
SAT 技術を用いた組合せ遷移問題の解法に関する研究
Grant number：23FP04 2023.4 - 2024.3
国立情報学研究所 国立情報学研究所共同研究 自由提案公募型
Authorship：Coinvestigator(s) Grant type：Competitive
数理最適化手法を取り入れた新しい SAT 解法 International coauthorship
Grant number：22FP01 2022.4 - 2023.3
国立情報学研究所 国立情報学研究所共同研究 自由提案公募型
Authorship：Principal investigator Grant type：Competitive
組合せデザイン問題を解くためのSAT型制約充足ソルバーの研究開発
Grant number：21FP02 2021.4 - 2022.3
国立情報学研究所共同研究 自由提案公募型
盧暁南
Authorship：Coinvestigator(s) Grant type：Competitive
巨大な制約充足問題を解くためのSAT型CSPソルバーの研究開発
2020.4 - 2021.3
国立情報学研究所共同研究
鍋島 英知
Authorship：Coinvestigator(s) Grant type：Competitive
SAT技術を用いた非同期なオートマタネットワークにおけるアトラクタの計算 International coauthorship
2019.8 - 2022.3
JSPS 二国間交流事業(共同研究) フランスとの共同研究(MEAE-MESRI) SAKURAプログラム
宋剛秀
Authorship：Coinvestigator(s) Grant type：Competitive
複数の制約モデリングとSAT符号化を用いた新しいSAT型並列CSPソルバーの研究開発
2019.4 - 2020.3
国立情報学研究所共同研究
宋剛秀
Authorship：Coinvestigator(s) Grant type：Competitive
背景理論付き解集合プログラミングに関する研究開発
2018.4 - 2019.3
国立情報学研究所共同研究
Authorship：Principal investigator Grant type：Competitive
レジリエントAIに関するフィージビルティスタディ
2018.4 - 2019.3
国立情報学研究所共同研究
沖本天太
Authorship：Coinvestigator(s) Grant type：Competitive
解集合プログラミングにおける多目的最適化
2017.4 - 2018.3
国立情報学研究所共同研究
Authorship：Principal investigator Grant type：Competitive
解集合プログラミングによるシステム検証
2015.4 - 2016.3
国立情報学研究所共同研究
Authorship：Principal investigator Grant type：Competitive
クラウド上のソフトウェア最適配置問題の解法
2015.4 - 2016.3
国立情報学研究所共同研究
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
SAT技術を用いた教育機関のための高速な時間割システムの実現
2014.4 - 2015.3
国立情報学研究所共同研究
宋剛秀
Authorship：Coinvestigator(s) Grant type：Competitive
インクリメンタル解法を用いた高性能かつ高機能な制約ASPソルバーに関する研究
2013.4 - 2014.3
国立情報学研究所共同研究
宋剛秀
Authorship：Coinvestigator(s) Grant type：Competitive
SAT技術を用いた制約解集合プログラミングに関する研究
2011.4 - 2013.3
国立情報学研究所共同研究
Authorship：Principal investigator Grant type：Competitive
新しいSAT符号化法, 新しいSATソルバー, 及び求解困難な問題への応用に関する研究
2010.4 - 2011.3
国立情報学研究所共同研究
Authorship：Principal investigator Grant type：Competitive
SAT変換技術の拡張による求解困難な制約最適化問題の解法に関する研究
2009.4 - 2010.3
国立情報学研究所共同研究
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
求解困難な制約最適化問題のSAT変換による解決に関する研究
2008.4 - 2009.3
国立情報学研究所共同研究
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
補題再利用による効率的な分散・協調SATシステムの構築に関する研究
2007.4 - 2008.3
国立情報学研究所共同研究
鍋島英知
Authorship：Coinvestigator(s) Grant type：Competitive
補題再利用による効率的な分散・協調SATシステムの構築に関する研究
2006.4 - 2007.3
国立情報学研究所共同研究
鍋島英知
Authorship：Coinvestigator(s) Grant type：Competitive
分散協調SATアルゴリズムの設計と実現に関する研究
2005.4 - 2006.3
国立情報学研究所共同研究
井上克巳
Authorship：Coinvestigator(s) Grant type：Competitive
Javaによる分散協調制約解消システム
2003.4 - 2004.3
情報処理推進機構(IPA)未踏ソフトウェア創造事業
Authorship：Principal investigator Grant type：Competitive
Javaによる異種協調制約解消システムの開発
2002.4 - 2003.3
情報処理推進機構(IPA)未踏ソフトウェア創造事業
Authorship：Principal investigator 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)
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)
Authorship：Principal investigator Grant type：Competitive
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
離散構造処理系に基づく列挙と最適化の統合的技法の研究
2020.4 - 2025.3
科学研究費補助金 基盤研究(A)
湊真一
Authorship：Coinvestigator(s) Grant type：Competitive
大規模離散構造の理解と革新的アルゴリズム基盤の創出
Grant number：20H05964 2020.4 - 2025.3
科学研究費補助金 学術変革領域研究(A)
堀山貴史
Authorship：Coinvestigator(s) Grant type：Competitive
先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発 International coauthorship
2018.4 - 2021.3
科学研究費補助金 基盤研究(C)
Authorship：Principal investigator Grant type：Competitive
SATを基盤とした新しい制約プログラミングシステムの研究開発 International coauthorship
2016.4 - 2019.3
科学研究費補助金 基盤研究(B)
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
SAT符号化を用いた制約解集合プログラミングに関する研究開発 International coauthorship
2015.4 - 2018.3
科学研究費補助金 基盤研究(C)
Authorship：Principal investigator Grant type：Competitive
命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現 International coauthorship
2012.4 - 2015.3
科学研究費補助金 基盤研究(B)
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
様々な論理推論エンジンを用いた組み合わせテストのテストケース自動生成
2010.4 - 2013.3
科学研究費補助金 若手研究(B)
Authorship：Principal investigator Grant type：Competitive
制約最適化問題のSAT変換による解法とその並列分散処理に関する研究 International coauthorship
2008.4 - 2012.3
科学研究費補助金 基盤研究(A)
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
Prolog処理系を用いた複数SATソルバ並列実行システム
2007.4 - 2010.3
科学研究費補助金 若手研究(B)
Authorship：Principal investigator Grant type：Competitive
グリッド計算環境上で動作する並列制約解消システムに関する研究
2005.4 - 2008.3
科学研究費補助金 基盤研究(C)
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
Javaによる次世代Prolog言語処理系及びそのアプリケーションの開発
2003.4 - 2006.3
科学研究費補助金 若手研究(B)
Authorship：Principal investigator Grant type：Competitive
線形論理の自動演繹システムに関する研究
2002.4 - 2005.3
科学研究費補助金 基盤研究(C)
田村直之
Authorship：Coinvestigator(s) Grant type：Competitive
資源と時間の論理に基づいたプログラミング言語の設計と処理系の構築
1999.4 - 2001.3
科学研究費補助金 基盤研究(C)
Authorship：Coinvestigator(s) Grant type：Competitive
知識表現・推論特論2
2020
知識表現・推論特論1
2020
計算論基礎特論B
2020
最適化2
2020
最適化1
2020
基礎セミナーA
2020
計算論基礎特論B
2019
最適化2
2019
最適化1
2019
基礎セミナーA
2019
