Non-Deterministic Exponential Time has Two-Prover Interactive Protocols

by Laszlo Babai , Lance Fortnow , Carsten Lund
Citations:419 - 38 self