Tomohiro Sonobe

According to our database, Tomohiro Sonobe authored at least 16 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, 2024

Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Unleashing the Potential of Restart by Detecting the Search Stagnation.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle.

Tomohiro Sonobe

Algorithms, 2022

Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2018

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, 2018

Boosting PageRank Scores by Optimizing Internal Link Structure.

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

Proceedings of the Database and Expert Systems Applications, 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, 2018

2017

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, 2017

2016

Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving.

Tomohiro Sonobe

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2014

Community Branching for Parallel Portfolio SAT Solvers.

Tomohiro Sonobe, Shuya Kondoh, Mary Inaba

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Portfolio with Block Branching for Parallel SAT Solvers.

Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

2012

Counter Implication Restart for Parallel SAT Solvers.

Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

2010

SPGF Search Places by Geographical Features all Around the World: Search and Verification System Utilizing Huge Amounts of Satellite Data.

Ryo Wakuta, Tomohiro Sonobe

Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010