Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems.

Laurent Bartholdi Michael Figelius Markus Lohrey Armin Weiß

Published in: CoRR (2019)

Keyphrases

word problems
pspace complete
np complete
similar problems
model checking
decision problems
satisfiability problem
strips planning
grade students
causal graph
temporal logic