MathDB1 problem
A word equation is an equation between words whose letters may include variables, and its satisfiability asks whether the variables can be assigned words so that the equation holds…
A word equation is an equation between words whose letters may include variables, and its satisfiability asks whether the variables can be assigned words so that the equation holds…