鍋島英知

ナベシマヒデトモ | Hidetomo Nabeshima

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://www.nabelab.org/

研究分野 (2件)：知能情報学 , 情報学基礎論

研究キーワード (6件)：命題論理の充足可能性問題 (SAT) , 結論発見 , 知識表現と推論 , プランニングとスケジューリング , 人工知能 , 制約充足問題

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

全件表示

論文 (49件)：

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.
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue. DPS-Kissat. Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions. 2023. 43-43
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue. DPS: A Framework for Deterministic Parallel SAT Solvers. 13th Pragmatics of SAT international workshop. 2022
Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue. Towards CEGAR-based Parallel SAT Solving. 2021
Hidetomo NABESHIMA, Katsumi INOUE. Reproducible Efficient Parallel SAT Solving. In Proceedings of the 23th International Conference Theory and Applications of Satisfiability Testing (SAT 2020), LNCS. 2020. 12178. 123-138

MISC (88件)：

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR. 2024. abs/2403.07885. 11p.
吹上翼, 帯津勇斗, 鍋島英知, 盧暁南. 決定的並列SATソルバー構築のための汎用フレームワークの検討. 人工知能学会全国大会論文集. 2022. 2022. 36. 4F3-OS-8b-02
早瀬悠真, 鍋島英知, 盧暁南. 圧縮した SAT 問題における高速な単位伝播手法. 人工知能学会全国大会論文集. 2021. 2021. 35. 2E4-OS-13c-02
宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳. CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察 (特集「命題論理の充足可能性問題SATの最新動向」および一般). 人工知能基本問題研究会. 2020. 112. 6-11
宋剛秀, 番原睦則, 田村直之, 鍋島英知. SATソルバーの最新動向と利用技術. コンピュータソフトウェア. 2018. 35. 4. 72-92

書籍 (1件)：

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

解集合プログラミングを用いたハミルトン閉路遷移問題の解法
(第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023)
決定的並列SATソルバー構築のための汎用フレームワークの検討
(第36回人工知能学会全国大会 2022)
圧縮した SAT 問題における高速な単位伝播手法
(第35回人工知能学会全国大会 2021)
大規模な SAT 問題を圧縮したまま解くソルバーの開発
(第34回人工知能学会全国大会 2020)
決定的ポートフォリオ型並列SATソルバーの待ち時間削減による高速化手法
(人工知能学会第106回人工知能基本問題研究会 2018)

学歴 (1件)：

学位 (1件)：

経歴 (4件)：

受賞 (6件)：

2022/08 - SAT Competition 2022 organizing committee Main Parallel Track 2nd prize and Anniversary Parallel Track 3rd prize. DPS-Kissat
2020/11/05 - 人工知能学会人工知能学会全国大会優秀賞大規模な SAT 問題を圧縮したまま解くソルバーの開発
2017/06/26 - 人工知能学会人工知能学会研究会優秀賞同順位を含む研究室配属問題のCSPソルバーによる解法の検討
2014/09/08 - 日本ソフトウェア科学会日本ソフトウェア科学会第3回ソフトウェア論文賞
2013/05/27 - 山梨科学アカデミー第18回山梨科学アカデミー奨励賞

全件表示

所属学会 (3件)：

人工知能学会 , 電子情報通信学会 , 日本ソフトウェア科学会

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

鍋島 英知