| Representation learning on graphs with jumping knowledge networks K Xu, C Li, Y Tian, T Sonobe, K Kawarabayashi, S Jegelka International conference on machine learning, 5453-5462, 2018 | 1991 | 2018 |
| A coherent Ising machine for 2000-node optimization problems T Inagaki, Y Haribara, K Igarashi, T Sonobe, S Tamate, T Honjo, ... Science 354 (6312), 603-606, 2016 | 711 | 2016 |
| 100,000-spin coherent Ising machine T Honjo, T Sonobe, K Inaba, T Inagaki, T Ikuta, Y Yamada, T Kazama, ... Science advances 7 (40), eabh0952, 2021 | 134 | 2021 |
| Binary optimization by momentum annealing T Okuyama, T Sonobe, K Kawarabayashi, M Yamaoka Physical Review E 100 (1), 012111, 2019 | 81 | 2019 |
| Coarsening massive influence networks for scalable diffusion analysis N Ohsaka, T Sonobe, S Fujita, K Kawarabayashi Proceedings of the 2017 ACM international conference on management of data …, 2017 | 34 | 2017 |
| Community branching for parallel portfolio SAT solvers T Sonobe, S Kondoh, M Inaba Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 26 | 2014 |
| Exact clustering via integer programming and maximum satisfiability A Miyauchi, T Sonobe, N Sukegawa Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018 | 24 | 2018 |
| Counter implication restart for parallel SAT solvers T Sonobe, M Inaba International Conference on Learning and Intelligent Optimization, 485-490, 2012 | 8 | 2012 |
| Portfolio with block branching for parallel SAT solvers T Sonobe, M Inaba Learning and Intelligent Optimization: 7th International Conference, LION 7 …, 2013 | 7 | 2013 |
| Grid Spider: A framework for Data-Intensive research with Data Process Memorization Cache D Yamada, T Sonobe, H Tezuka, M Inaba Proc. of the 4th Int. Confererence on Resource Intensive Applications and …, 2012 | 7 | 2012 |
| SPGF Search Places by Geographical Features all Around the World: Search and Verification System Utilizing Huge Amounts of Satellite Data R Wakuta, T Sonobe 2010 10th IEEE/IPSJ International Symposium on Applications and the Internet …, 2010 | 4 | 2010 |
| Diversification of parallel search of portfolio SAT solver by search similarity index Y Iida, T Sonobe, M Inaba Pacific Rim International Conference on Artificial Intelligence, 61-74, 2022 | 3 | 2022 |
| Looking inside literal blocks: Towards mining more promising learnt clauses in sat solving T Sonobe 2016 IEEE 28th International Conference on Tools with Artificial …, 2016 | 2 | 2016 |
| GEO Grid Spider T Sonobe, T Tsutsumi, S Gouda, S Sekiguchi, N Yamamoto, H Yamamoto, ... 25th NORDUnet Conference, Copenhagen, Denmark, 2009 | 2 | 2009 |
| Boosting PageRank scores by optimizing internal link structure N Ohsaka, T Sonobe, N Kakimura, T Fukunaga, S Fujita, ... Database and Expert Systems Applications: 29th International Conference …, 2018 | 1 | 2018 |
| Understand restart of SAT solver using search similarity index (student abstract) Y Iida, T Sonobe, M Inaba Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 16236 …, 2023 | | 2023 |
| Unleashing the Potential of Restart by Detecting the Search Stagnation Y Iida, T Sonobe, M Inaba International Conference on Learning and Intelligent Optimization, 599-613, 2023 | | 2023 |
| An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems Y Iida, T Sonobe, M Inaba | | 2023 |
| An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle T Sonobe Algorithms 15 (12), 479, 2022 | | 2022 |
| Variable Selection with PageRank for SAT Solvers T Sonobe Journal of Computer Science 15 (8), 1074-1084, 2019 | | 2019 |
Ken-ichi KawarabayashiNational Institute of Informatics, The University of TokyoVerified email at nii.ac.jp
