薗部知大 Sonobe Tomohiro

研究者番号	50747269
その他のID	https://orcid.org/0000-0002-0995-7234
所属 (現在)	2025年度: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
所属 (過去の研究課題情報に基づく) *注記	2015年度 – 2023年度: 国立情報学研究所, ビッグデータ数理国際研究センター, 特任研究員
審査区分/研究分野	研究代表者知能情報学 / 小区分61030:知能情報学関連
キーワード	研究代表者探索 / SATソルバ / 充足可能性問題 / グラフニューラルネットワーク / SAT / グラフ / 並列

研究課題
(3件)
研究成果
(5件)

グラフニューラルネットワークを用いた高速SATソルバの研究開発研究代表者
- 研究代表者
  
  薗部知大
- 研究期間 (年度)
  2021 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  国立情報学研究所
拡張融合法を用いた高速SATソルバの研究開発研究代表者
- 研究代表者
  
  薗部知大
- 研究期間 (年度)
  2017 – 2022
- 研究種目
  
  若手研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  国立情報学研究所
問題の構造を利用した高速並列SATソルバの研究開発研究代表者
- 研究代表者
  
  薗部知大
- 研究期間 (年度)
  2015 – 2016
- 研究種目
  
  若手研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  国立情報学研究所

すべて 2022 2019 2018 2016

すべて雑誌論文学会発表

[雑誌論文] An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle2022
- 著者名/発表者名
  Sonobe Tomohiro
- 雑誌名
  
  Algorithms
  
  巻: 15 号: 12 ページ: 479-479
- DOI
  10.3390/a15120479
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K12023, KAKENHI-PROJECT-17K12742
[雑誌論文] Variable Selection with PageRank for SAT Solvers2019
- 著者名/発表者名
  Sonobe Tomohiro
- 雑誌名
  
  Journal of Computer Science
  
  巻: 15 号: 8 ページ: 1074-1084
- DOI
  10.3844/jcssp.2019.1074.1084
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K12742
[学会発表] SATソルバを参考にした行列のフルランク性の判定手法2018
- 著者名/発表者名
  町出智也,薗部知大
- 学会等名
  人工知能学会全国大会
- データソース
  KAKENHI-PROJECT-17K12742
[学会発表] Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving2016
- 著者名/発表者名
  Tomohiro Sonobe
- 学会等名
  IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
- 発表場所
  San Jose, CA
- 年月日
  2016-11-06
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K16057
[学会発表] コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案2016
- 著者名/発表者名
  薗部知大
- 学会等名
  人工知能学会全国大会
- 発表場所
  北九州国際会議場(福岡県北九州市)
- 年月日
  2016-06-06
- データソース
  KAKENHI-PROJECT-15K16057

薗部 知大 Sonobe Tomohiro

研究課題

研究成果

グラフニューラルネットワークを用いた高速SATソルバの研究開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

拡張融合法を用いた高速SATソルバの研究開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

問題の構造を利用した高速並列SATソルバの研究開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Variable Selection with PageRank for SAT Solvers2019

著者名/発表者名

雑誌名

DOI

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving2016

著者名/発表者名

学会等名

発表場所

年月日

データソース

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

著者名/発表者名

学会等名

発表場所

年月日

データソース

薗部知大 Sonobe Tomohiro