Non-Deterministic Exponential Time has Two-Prover Interactive Protocols

by Laszlo Babai , Lance Fortnow , Carsten Lund
Citations:398 - 40 self