Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. - Takumi Shimoda; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (SAS, 2021)

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. - Takumi Shimoda; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (Zenodo, 2021)

Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search. - Takumi Shimoda; Alex Fukunaga (SOCS, 2023)

Separate Generation and Evaluation for Parallel Greedy Best-First Search. - Takumi Shimoda; Alex Fukunaga (CoRR, 2024)

Parallel Greedy Best-First Search with a Bound on the Number of Expansions Relative to Sequential Search. - Takumi Shimoda; Alex Fukunaga (CoRR, 2024)

Parallel Greedy Best-First Search with a Bound on Expansions Relative to Sequential Search. - Takumi Shimoda; Alex Fukunaga (AAAI, 2025)