Unary Coded PSPACE-Complete Languages in ASPACE(loglog n).

Published in: CSR (2017)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
exptime complete
decision problems
expressive power
strips planning
search algorithm
np hard
temporal logic
causal graph
data complexity
grammatical inference
tree automata
phase transition
learning algorithm
decision making