TY  - RPRT
TI  - String Solving with Stabilization and Transducers (Technical Report)
AU  - David Chocholatý
AU  - Vojtěch Havlena
AU  - Lukáš Holík
AU  - Juraj Síč
AU  - Michal Šedý
PY  - 2026
UR  - https://arxiv.org/abs/2605.14872
ID  - 2605.14872
ER  -