QUADRATIC WORD EQUATIONS WITH LENGTH CONSTRAINTS, COUNTER SYSTEMS, AND PRESBURGER ARITHMETIC WITH DIVISIBILITY

Word equations are a crucial element in the theoretical foundation License Plate Lighting of constraint solving over strings.A word equation relates two words over string variables and constants.Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation.While the problem of sol