Hidetomo Nabeshima

ナベシマヒデトモ | Hidetomo Nabeshima

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://www.nabelab.org/

Research field (2)： Intelligent informatics , Information theory

Research keywords (6)： Propositional Satisfiability Testing (SAT) , Consequence Finding for Full Clausal Theories , Knowledge Representation and Reasoning , Planning and Scheduling , Artificial Intelligence , Constraint Satisfaction Problem

Research theme for competitive and other funds (15)：

2020 - 2023 決定的並列充足可能性判定器に関する研究
2017 - 2020 A fast Boolean satisfiability problem solver by shortening the proof
2016 - 2019 Research and Development of a New Constraint Programming System based on SAT
2014 - 2017 A Study of Accelerating Boolean Satisfiability Solvers
2012 - 2015 Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

Show all

Papers (48)：

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

ｍore...

MISC (86)：

Tsubasa Fukiage, Yuto Obitsu, Hidetomo Nabeshima, Xiao-Nan Lu. A Study on a Framework for Constructing Deterministic Parallel SAT Solvers. The 36th Annual Conference of the Japanese Society for Artificial Intelligence. 2022. 2022. 36. 4F3-OS-8b-02
Yuma Hayase, Hidetomo Nabeshima, Xiao-Nan Lu. A fast unit propagation algorithm for compressed large-scaled instances. The 35th Annual Conference of the Japanese Society for Artificial Intelligence. 2021. 2021. 35. 2E4-OS-13c-02
Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples. 2020. 112. 6-11
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島英知. SATソルバーの最新動向と利用技術. コンピュータソフトウェア. 2018. 35. 4. 72-92
鍋島英知, 岩沼宏治, 井上克巳. SATソルバーの最近の進展. 情報処理. 2016. 57. 8. 724-729

ｍore...

Books (1)：

データ構造とアルゴリズム
コロナ社 2018 ISBN:9784339018233

Lectures and oral presentations (13)：

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

ｍore...

Education (1)：

- 2001 Kobe University

Professional career (1)：

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

Work history (4)：

2009/01 - University of Yamanashi Graduate Faculty of Interdisciplinary Research Faculty of Engineering
2007/04/01 - 2008/12/31 山梨大学大学院医学工学総合研究部助教
2003/04/01 - 2007/03/31 山梨大学大学院医学工学総合研究部助手
2001/04/01 - 2003/03/31 山梨大学工学部コンピュータ・メディア工学科助手

Awards (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 - Japan Society for Software Science and Technology 日本ソフトウェア科学会第3回ソフトウェア論文賞
2013/05/27 - The Yamanashi Academy of Sciences 第18回山梨科学アカデミー奨励賞

Show all

Association Membership(s) (3)：

The Japanese Society for Artificial Intelligence , The Institute of Electronics, Information and Communication Engineers , Japan Society for Software Science and Technology

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

Return to Previous Page