David Chocholat\'y

Identifiers

• name variant David Chocholat\'y 0.50 · backfill

Papers (1)

1. String Solving with Stabilization and Transducers (Technical Report) cs.FL · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Juraj S\'i\v{c} 1 shared papers
• Luk\'a\v{s} Hol\'ik 1 shared papers
• Michal \v{S}ed\'y 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Vojt\v{e}ch Havlena 1 shared papers