| 2026 | SODA | 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 |
| 2024 | FOCS | 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 |
| 2024 | SAT | Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2023 | AAAI | Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2023 | SAT | An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2022 | PRICAI | Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2018 | AAAI | Exact Clustering via Integer Programming and Maximum Satisfiability. | Atsushi Miyauchi, Tomohiro Sonobe, Noriyoshi Sukegawa |
| 2018 | DEXA | Boosting PageRank Scores by Optimizing Internal Link Structure. | Naoto Ohsaka, Tomohiro Sonobe, Naonori Kakimura, Takuro Fukunaga, Sumio Fujita, Ken-ichi Kawarabayashi |
| 2018 | ICML | Representation Learning on Graphs with Jumping Knowledge Networks. | Keyulu Xu, Chengtao Li, Yonglong Tian, Tomohiro Sonobe, Ken-ichi Kawarabayashi, Stefanie Jegelka |
| 2017 | SIGMOD | Coarsening Massive Influence Networks for Scalable Diffusion Analysis. | Naoto Ohsaka, Tomohiro Sonobe, Sumio Fujita, Ken-ichi Kawarabayashi |
| 2016 | ICTAI | Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving. | Tomohiro Sonobe |
| 2014 | SAT | Community Branching for Parallel Portfolio SAT Solvers. | Tomohiro Sonobe, Shuya Kondoh, Mary Inaba |