Takumi Shimoda

According to our database, Takumi Shimoda authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Parallel Greedy Best-First Search with a Bound on Expansions Relative to Sequential Search.

Takumi Shimoda, Alex Fukunaga

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Parallel Greedy Best-First Search with a Bound on the Number of Expansions Relative to Sequential Search.

Takumi Shimoda, Alex Fukunaga

CoRR, 2024

Separate Generation and Evaluation for Parallel Greedy Best-First Search.

Takumi Shimoda, Alex Fukunaga

CoRR, 2024

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

Dataset, July, 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