Login / Signup
The existential theory of equations with rational constraints in free groups is PSPACE-complete.
Volker Diekert
Claudio Gutiérrez
Christian Hagenah
Published in:
Inf. Comput. (2005)
Keyphrases
</>
pspace complete
np complete
model checking
satisfiability problem
decision problems
tree automata
constraint satisfaction
query answering
np hard
constraint satisfaction problems
integrity constraints
strips planning