Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols

Lszl Babai, Lance Fortnow, Carsten Lund

Browse the full FOCS paper archive.