@misc{indiciae045a46914a43,
  title = {Word Equations in Synergy with Regular Constraints (Technical Report)},
  author = {František Blahoudek and Yu-Fang Chen and David Chocholatý and Vojtěch Havlena and Lukáš Holík and Ondřej Lengál and Juraj Síč},
  year = {2022},
  url = {https://arxiv.org/abs/2212.02317},
  note = {Source identifier: 2212.02317}
}