Word Equations in Synergy with Regular Constraints. - Blahoudek, Frantisek; Chen, Yu-Fang; Chocholatý, David; Havlena, Vojtech; Holík, Lukás; Lengál, Ondrej; Síc, Juraj (2023)