TY  - RPRT
TI  - Z3-Noodler: An Automata-based String Solver (Technical Report)
AU  - Yu-Fang Chen
AU  - David Chocholatý
AU  - Vojtěch Havlena
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Juraj Síč
PY  - 2023
UR  - https://arxiv.org/abs/2310.08327
ID  - 2310.08327
ER  -