Tomohiro Sonobe

20 papers A* 5A 2B 1Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 A* conf
Three-edge-coloring (Tait coloring) cubic graphs and nowhere-zero 4-flow for graphs on the torus.
SODA
Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe
2024 A conf
Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem.
SAT
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2024 A* conf
Three-Edge-Coloring Projective Planar Cubic Graphs: A Generalization of the Four Color Theorem.
FOCS
Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe
2024 J jnl
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem.
CoRR
Yuta Inoue, Ken-ichi Kawarabayashi, Atsuyuki Miyashita, Bojan Mohar, Tomohiro Sonobe
2024 — conf
WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure.
LION
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2023 — conf
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.
POS@SAT
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2023 A* conf
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).
AAAI
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2023 — conf
Unleashing the Potential of Restart by Detecting the Search Stagnation.
LION
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2022 J jnl
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle.
Algorithms
Tomohiro Sonobe
2022 — conf
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.
PRICAI (1)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
2018 — conf
Boosting PageRank Scores by Optimizing Internal Link Structure.
DEXA (1)
Naoto Ohsaka, Tomohiro Sonobe, Naonori Kakimura, Takuro Fukunaga, Sumio Fujita, Ken-ichi Kawarabayashi
2018 A* conf
Exact Clustering via Integer Programming and Maximum Satisfiability.
AAAI
Atsushi Miyauchi, Tomohiro Sonobe, Noriyoshi Sukegawa
2018 A* conf
Representation Learning on Graphs with Jumping Knowledge Networks.
ICML
Keyulu Xu, Chengtao Li, Yonglong Tian, Tomohiro Sonobe, Ken-ichi Kawarabayashi, Stefanie Jegelka
2018 J jnl
Representation Learning on Graphs with Jumping Knowledge Networks.
CoRR
Keyulu Xu, Chengtao Li, Yonglong Tian, Tomohiro Sonobe, Ken-ichi Kawarabayashi, Stefanie Jegelka
2017 — conf
Coarsening Massive Influence Networks for Scalable Diffusion Analysis.
SIGMOD Conference
Naoto Ohsaka, Tomohiro Sonobe, Sumio Fujita, Ken-ichi Kawarabayashi
2016 B conf
Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving.
ICTAI
Tomohiro Sonobe
2014 A conf
Community Branching for Parallel Portfolio SAT Solvers.
SAT
Tomohiro Sonobe, Shuya Kondoh, Mary Inaba
2013 — conf
Portfolio with Block Branching for Parallel SAT Solvers.
LION
Tomohiro Sonobe, Mary Inaba
2012 — conf
Counter Implication Restart for Parallel SAT Solvers.
LION
Tomohiro Sonobe, Mary Inaba
2010 — conf
SPGF Search Places by Geographical Features all Around the World: Search and Verification System Utilizing Huge Amounts of Satellite Data.
SAINT
Ryo Wakuta, Tomohiro Sonobe