Tomohiro Sonobe
National Institute of Informatics(JP)
Publications by Year
Research Areas
Formal Methods in Verification, Constraint Satisfaction and Optimization, Complex Network Analysis Techniques, Scheduling and Optimization Algorithms, Advanced Graph Theory Research
Most-Cited Works
- → A coherent Ising machine for 2000-node optimization problems(2016)772 cited
- → Representation Learning on Graphs with Jumping Knowledge Networks(2018)726 cited
- → 100,000-spin coherent Ising machine(2021)305 cited
- → Binary optimization by momentum annealing(2019)89 cited
- → Coarsening Massive Influence Networks for Scalable Diffusion Analysis(2017)30 cited
- → Exact Clustering via Integer Programming and Maximum Satisfiability(2018)18 cited
- → Community Branching for Parallel Portfolio SAT Solvers(2014)13 cited
- → Counter Implication Restart for Parallel SAT Solvers(2012)6 cited
- → Portfolio with Block Branching for Parallel SAT Solvers(2013)3 cited