The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete

Volker Diekert Claudio Gutiérrez Christian Hagenah

Published in: CoRR (2001)

Keyphrases

pspace complete
np complete
satisfiability problem
tree automata
model checking
decision problems
search algorithm
constraint satisfaction
causal graph
strips planning