TY  - RPRT
TI  - Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
AU  - Taolue Chen
AU  - Alejandro Flores Lamas
AU  - Matthew Hague
AU  - Zhilei Han
AU  - Denghang Hu
AU  - Shuanglong Kan
AU  - Anthony Widjaja Lin
AU  - Philipp Ruemmer
AU  - Zhilin Wu
PY  - 2021
UR  - https://arxiv.org/abs/2111.04298
ID  - 2111.04298
ER  -