Tomohiro Sonobe

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 13

Top Topics

Integer Programming

Maximum Satisfiability

Similarity Index

Top Venues

Publications

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