Word Equations in Synergy with Regular Constraints (Technical Report)

František Blahoudek, Yu-Fang Chen, David Chocholatý +4

When eating spaghetti, one should have the sauce and noodles mixed instead of eating them separately. We argue that also in string solving, word equations and regular constraints a…