Takumi Shimoda

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Solving Problems

Depth First Search

Symbolic Representation

Search Strategies

Top Venues

Publications

Takumi Shimoda, Alex Fukunaga
Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search. SOCS (2023)
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. SAS (2021)
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. CoRR (2021)