Nondeterministic Instance Complexity and Hard-to-Prove Tautologies.

Vikraman Arvind Johannes Köbler Martin Mundhenk Jacobo Torán

Published in: STACS (2000)

Keyphrases

polynomial hierarchy
computational complexity
image processing
real time
real world
machine learning
genetic algorithm
website
probability distribution