SPGF Search Places by Geographical Features all Around the World: Search and Verification System Utilizing Huge Amounts of Satellite Data. - Ryo Wakuta; Tomohiro Sonobe (SAINT, 2010)

Counter Implication Restart for Parallel SAT Solvers. - Tomohiro Sonobe; Mary Inaba (LION, 2012)

Portfolio with Block Branching for Parallel SAT Solvers. - Tomohiro Sonobe; Mary Inaba (LION, 2013)

Community Branching for Parallel Portfolio SAT Solvers. - Tomohiro Sonobe; Shuya Kondoh; Mary Inaba (SAT, 2014)

Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving. - Tomohiro Sonobe (ICTAI, 2016)

Coarsening Massive Influence Networks for Scalable Diffusion Analysis. - Naoto Ohsaka; Tomohiro Sonobe; Sumio Fujita; Ken-ichi Kawarabayashi (SIGMOD Conference, 2017)

Exact Clustering via Integer Programming and Maximum Satisfiability. - Atsushi Miyauchi 001; Tomohiro Sonobe; Noriyoshi Sukegawa (AAAI, 2018)

Boosting PageRank Scores by Optimizing Internal Link Structure. - Naoto Ohsaka; Tomohiro Sonobe; Naonori Kakimura; Takuro Fukunaga; Sumio Fujita; Ken-ichi Kawarabayashi (DEXA (1), 2018)

Representation Learning on Graphs with Jumping Knowledge Networks. - Keyulu Xu; Chengtao Li; Yonglong Tian; Tomohiro Sonobe; Ken-ichi Kawarabayashi; Stefanie Jegelka (ICML, 2018)

Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (PRICAI (1), 2022)

An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle. - Tomohiro Sonobe (Algorithms, 2022)

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (AAAI, 2023)

Unleashing the Potential of Restart by Detecting the Search Stagnation. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (LION, 2023)

An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (POS@SAT, 2023)

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 (FOCS, 2024)

WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (LION, 2024)

Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. - Yoichiro Iida; Tomohiro Sonobe; Mary Inaba (SAT, 2024)