Takumi Shimoda
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Ken Sakayorionce
- Naoki Kobayashionce
- Ryosuke Satoonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Symbolic Automatic Relations and Their Applications to SMT and CHC Solving | SAS 2021 | 2021-10-17 |
Defines symbolic automatic relations that combine symbolic automata and automatic relations and proves they are closed under Boolean ops; shows satisfiability… | ||
| nothing matches | ||