Satisfiability of Word Equations with Constants is in Exponential Space.

Claudio Gutierrez

Browse the full FOCS paper archive.