Satisfiability of Word Equations with Constants is in PSPACE

@inproceedings{Plandowski1999SatisfiabilityOW,
  title={Satisfiability of Word Equations with Constants is in PSPACE},
  author={Wojciech Plandowski},
  booktitle={FOCS},
  year={1999}
}
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 108 extracted citations

Algorithmics on SLP-compressed strings: A survey

Groups Complexity Cryptology • 2012
View 20 Excerpts
Highly Influenced

On the relation between Context and Sequence Unification

J. Symb. Comput. • 2010
View 15 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…