Sonobe Tomohiro 薗部知大

Researcher Number	50747269
Other IDs	https://orcid.org/0000-0002-0995-7234
Affiliation (Current)	2024: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
Affiliation (based on the past Project Information) *help	2015 – 2023: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
Review Section/Research Field	Principal Investigator Intelligent informatics / Basic Section 61030:Intelligent informatics-related
Keywords	Principal Investigator 探索 / SATソルバ / 充足可能性問題 / グラフニューラルネットワーク / SAT / グラフ / 並列

Research Projects
(3 results)
Research Products
(5 results)

Development of SAT Solvers by Graph Neural NetworksPrincipal Investigator
- Principal Investigator
  
  Sonobe Tomohiro
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  National Institute of Informatics
Development of a SAT Solver Based on Extened ResolutionPrincipal Investigator
- Principal Investigator
  
  Sonobe Tomohiro
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Development of Fast Parallel SAT Solvers Using Problem StructurePrincipal Investigator
- Principal Investigator
  
  Sonobe Tomohiro
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics

All 2022 2019 2018 2016

All Journal Article Presentation

[Journal Article] An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle2022
- Author(s)
  Sonobe Tomohiro
- Journal Title
  
  Algorithms
  
  Volume: 15 Issue: 12 Pages: 479-479
- DOI
  10.3390/a15120479
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K12023, KAKENHI-PROJECT-17K12742
[Journal Article] Variable Selection with PageRank for SAT Solvers2019
- Author(s)
  Sonobe Tomohiro
- Journal Title
  
  Journal of Computer Science
  
  Volume: 15 Issue: 8 Pages: 1074-1084
- DOI
  10.3844/jcssp.2019.1074.1084
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K12742
[Presentation] SATソルバを参考にした行列のフルランク性の判定手法2018
- Author(s)
  町出智也,薗部知大
- Organizer
  人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17K12742
[Presentation] Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving2016
- Author(s)
  Tomohiro Sonobe
- Organizer
  IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
- Place of Presentation
  San Jose, CA
- Year and Date
  2016-11-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K16057
[Presentation] コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案2016
- Author(s)
  薗部知大
- Organizer
  人工知能学会全国大会
- Place of Presentation
  北九州国際会議場(福岡県北九州市)
- Year and Date
  2016-06-06
- Data Source
  KAKENHI-PROJECT-15K16057

Sonobe Tomohiro 薗部 知大

Research Projects

Research Products

Development of SAT Solvers by Graph Neural NetworksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a SAT Solver Based on Extened ResolutionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Fast Parallel SAT Solvers Using Problem StructurePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Variable Selection with PageRank for SAT Solvers2019

Author(s)

Journal Title

DOI

Data Source

[Presentation] SATソルバを参考にした行列のフルランク性の判定手法2018

Author(s)

Organizer

Data Source

[Presentation] Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Sonobe Tomohiro 薗部知大