Login / Signup
Groups with ALOGTIME-hard Word Problems and PSPACE-complete Compressed Word Problems.
Laurent Bartholdi
Michael Figelius
Markus Lohrey
Armin Weiß
Published in:
ACM Trans. Comput. Theory (2022)
Keyphrases
</>
word problems
pspace complete
similar problems
np complete
model checking
decision problems
satisfiability problem
search algorithm
np hard
cellular automata
temporal logic
hong kong
finite state
tree automata
strips planning