Everything Is PSPACE-Complete in Interaction Systems.

Mila E. Majster-Cederbaum Christoph Minnameier

Published in: ICTAC (2008)

Keyphrases

pspace complete
np complete
learning algorithm
model checking
knowledge base
building blocks
complex systems
satisfiability problem