Login / Signup
On semigroups with PSPACE-complete subpower membership problem.
Markus Steindl
Published in:
CoRR (2016)
Keyphrases
</>
pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
np hard
temporal logic
causal graph
tree automata
utility function
data complexity
optimal policy
coalition logic
finite state
heuristic search
query processing