Takumi Shimoda

According to our database, Takumi Shimoda authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search.

Takumi Shimoda, Alex Fukunaga

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

2021

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Static Analysis - 28th International Symposium, 2021