TY  - RPRT
TI  - Word Equations in Synergy with Regular Constraints (Technical Report)
AU  - František Blahoudek
AU  - Yu-Fang Chen
AU  - David Chocholatý
AU  - Vojtěch Havlena
AU  - Lukáš Holík
AU  - Ondřej Lengál
AU  - Juraj Síč
PY  - 2022
UR  - https://arxiv.org/abs/2212.02317
ID  - 2212.02317
ER  -