Nondeterministic Instance Complexity and Hard-to-Prove Tautologies.

Vikraman Arvind, Johannes Kbler, Martin Mundhenk, Jacobo Torn

Browse the full STACS paper archive.