Using nondeterminism to amplify hardness.

Alexander Healy Salil P. Vadhan Emanuele Viola

Published in: STOC (2004)

Keyphrases

phase transition
situation calculus
learning theory
computational complexity
knowledge base
np complete
worst case
databases
neural network
learning environment
video sequences