Time-Space Tradeoffs for Nondeterministic Computation.

Lance Fortnow Dieter van Melkebeek

Published in: Computational Complexity Conference (2000)

Keyphrases

low dimensional
artificial intelligence
knowledge base
finite state
real time
databases
multi agent
space time
design decisions
higher dimensional
space reduction
previously computed