NP vs PSPACE.

Lew Gordeev Edward Hermann Haeusler

Published in: CoRR (2016)

Keyphrases

np complete
pspace complete
computational complexity
np hard
temporal logic
mazurkiewicz traces
neural network
decision procedures
double exponential
information retrieval
decision making
image processing
decision trees