薗部知大 (Tomohiro SONOBE) - マイポータル

基本情報

研究者番号: 50747269
J-GLOBAL ID: 202401001208055889
researchmap会員ID: R000077873

外部リンク: https://scholar.google.com/citations?user=_b_LTjMAAAAJ

論文

Three-edge-coloring (Tait coloring) cubic graphs and nowhere-zero 4-flow for graphs on the torus

Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe

Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) 6133-6165 2026年1月7日
An Experimental Evaluation of Ising Solvers for SAT problems

Tomohiro Sonobe

Authorea Preprints 2025年7月24日
Three-edge-coloring (Tait coloring) cubic graphs on the torus: A proof of Grünbaum's conjecture

Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe

2025年5月11日
An Approximated QUBO Formulation for Solving Practical SAT Problems

Tomohiro Sonobe

Qeios 7(1) 2025年4月2日
WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

International Conference on Learning and Intelligent Optimization (LION) 190-204 2024年
Three-Edge-Coloring Projective Planar Cubic Graphs: A Generalization of the Four Color Theorem.

Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe

Annual Symposium on Foundations of Computer Science (FOCS) 86-105 2024年
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem.

Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe

CoRR abs/2405.16586 2024年
Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

International Conference on Theory and Applications of Satisfiability Testing (SAT) 17-18 2024年
Unleashing the Potential of Restart by Detecting the Search Stagnation

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

International Conference on Learning and Intelligent Optimization (LION) 599-613 2023年10月25日
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

AAAI Conference on Artificial Intelligence (AAAI) 37(13) 16236-16237 2023年6月26日
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

International Workshop on Pragmatics of SAT (PoS) 46-58 2023年
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence 61-74 2022年
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle.

Tomohiro Sonobe

Algorithms 15(12) 479-479 2022年
100,000-spin coherent Ising machine.

Toshimori Honjo, Tomohiro Sonobe, Kensuke Inaba, Takahiro Inagaki, Takuya Ikuta, Yasuhiro Yamada, Takushi Kazama, Koji Enbutsu, Takeshi Umeki, Ryoichi Kasahara …

Science advances 7(40) eabh0952 2021年10月
Binary optimization by momentum annealing.

Takuya Okuyama, Tomohiro Sonobe, Ken-Ichi Kawarabayashi, Masanao Yamaoka

Physical review. E 100(1-1) 012111-012111 2019年7月
Variable selection with pagerank for SAT solvers

Tomohiro Sonobe

Journal of Computer Science 15(8) 1074-1084 2019年
Representation Learning on Graphs with Jumping Knowledge Networks.

Keyulu Xu, Chengtao Li, Yonglong Tian, Tomohiro Sonobe, Ken-ichi Kawarabayashi, Stefanie Jegelka

Proceedings of the 35th International Conference on Machine Learning(ICML) 5449-5458 2018年
Boosting PageRank Scores by Optimizing Internal Link Structure.

Naoto Ohsaka, Tomohiro Sonobe, Naonori Kakimura, Takuro Fukunaga, Sumio Fujita, Ken-ichi Kawarabayashi

Database and Expert Systems Applications - 29th International Conference 424-439 2018年
Exact Clustering via Integer Programming and Maximum Satisfiability.

Atsushi Miyauchi, Tomohiro Sonobe, Noriyoshi Sukegawa

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18)(AAAI) 1387-1394 2018年
Coarsening Massive Influence Networks for Scalable Diffusion Analysis.

Naoto Ohsaka, Tomohiro Sonobe, Sumio Fujita, Ken-ichi Kawarabayashi

Proceedings of the 2017 ACM International Conference on Management of Data 635-650 2017年

もっとみる

MISC

大規模並列計算を活用するモメンタム・アニーリング

奥山拓哉, 薗部知大, 河原林健一, 山岡雅直

日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集 2020 2020年
SATソルバを参考にした行列のフルランク性の判定手法

町出智也, 薗部知大

人工知能学会全国大会論文集 JSAI2018 4K1OS16a02-4K1OS16a02 2018年
コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案

薗部知大

人工知能学会全国大会論文集 JSAI2016 1D4OS02a2-1D4OS02a2 2016年
RA-008 portfolio型並列SATソルバにおける多様な探索を行うための手法の提案(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)

薗部, 知大, 稲葉, 真理

情報科学技術フォーラム講演論文集 12(1) 57-64 2013年8月20日
DS Auto Cruiserの研究と開発

長谷部雅彦, 手塚宏史, 山田大地, 薗部知大, 金子勇, 定兼邦彦, 青木保一, 稲葉真理

情報処理学会研究報告(CD-ROM) 2011(6) 2012年
全世界探索フレームワークGGSⅡの設計と実装

中野雄介, 山田大地, 長谷部雅彦, 和久田龍, 薗部知大, 手塚宏史, 稲葉真理

先進的計算基盤システムシンポジウム論文集 2011 250-251 2011年5月18日
衛星データ探索フレームワーク GGSⅡ の提案と実装

長谷部, 雅彦, 山田, 大地, 中野, 雄介, 和久田, 龍, 薗部, 知大, 手塚, 宏史, 稲葉, 真理

第52回プログラミング･シンポジウム予稿集 2011 75-82 2011年1月7日
双対モデリングを用いた充足可能性問題のCNF encoding—SAT CNF encoding with dual modeling

薗部知大, 稲葉真理, 上田和紀

情報処理学会研究報告 = IPSJ SIG technical reports 2008(84) 77-84 2008年9月12日

講演・口頭発表等

Exact Clustering via Integer Programming and Maximum Satisfiability

Atsushi Miyauchi, Tomohiro Sonobe, Noriyoshi Sukegawa

International Symposium on Mathematical Programming (ISMP 2018) 2018年7月
Division and Alternation of Decision Variables

Tomohiro Sonobe, Mary Inaba

Pragmatics of SAT 2012 2012年6月
Evaluation of Amin-Based Neural Network (ABNN) using DS Auto Cruiser, a testbed for Machine Learning

Masahiko Hasebe, Tomohiro Sonobe, Hiroshi Tezuka, Isamu Kaneko, Kunihiko Sadakane, Mary Inaba

The 5th Annual Meeting of the Asian Association for Algorithms and Computation 2012年4月
Grid Spider - a Framework for Data Intensive Research with Data Process Memoization Cache

Daichi Yamada, Tomohiro Sonobe, Hiroshi Tezuka, Mary Inaba

The Fourth International Conference on Resource Intensive Applications and Services 2012年3月
Counter Implication Restart

Tomohiro Sonobe, Mary Inaba, Ayumu Nagai

Pragmatics of SAT 2011 2011年6月
SAT CNF Encoding with Multi-modeling

Tomohiro Sonobe, Mary Inaba

The 3rd Annual Meeting of the Asian Association for Algorithms and Computation 2010年4月
GEO Grid Spider

Tomohiro Sonobe, Tatsuhiko Tsutsumi, Shutaro Gouda, Satoshi Sekiguchi, Naotaka Yamamoto, Hirotaka Yamamoto, Hiroshi Tezuka, Isamu Kaneko, Kei Hiraki, Mary Inaba

25th NORDUnet Conference 2009年9月

Works(作品等)

7

Codes of An Experimental Evaluation of Ising Solvers for SAT problems

Tomohiro Sonobe

- 2025年7月コンピュータソフト
3

Codes for paper: An Approximated QUBO Formulation for Solving Practical SAT Problems

Tomohiro Sonobe

- 2024年コンピュータソフト
cbpenelope

Tomohiro Sonobe

2017年コンピュータソフト
cir_minisat

Tomohiro Sonobe

2011年コンピュータソフト

共同研究・競争的資金等の研究課題

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

日本学術振興会科学研究費助成事業基盤研究(C) 2021年4月 - 2024年3月

薗部知大
拡張融合法を用いた高速SATソルバの研究開発

日本学術振興会科学研究費助成事業若手研究(B) 2017年4月 - 2023年3月

薗部知大

薗部知大

基本情報

論文

MISC

講演・口頭発表等

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧