Login / Signup
Unary Coded PSPACE-Complete Languages in ASPACE(loglog n).
Viliam Geffert
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