Rchr
J-GLOBAL ID：200901066287044908   Update date: Sep. 24, 2024

Hidetomo Nabeshima

ナベシマ ヒデトモ | Hidetomo Nabeshima
Affiliation and department：
University of Yamanashi Graduate Faculty of Interdisciplinary Research Faculty of Engineering, Electrical and Electronic Information Engineering (Computer Science and Engineering)

About University of Yamanashi Graduate Faculty of Interdisciplinary Research Faculty of Engineering, Electrical and Electronic Information Engineering (Computer Science and Engineering)


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 (49)：
ｍore...
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.
  • 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
ｍ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

TOP

BOTTOM