Non-deterministic exponential time has two-prover interactive protocols (0)

by L Babai, L Fortnow, C Lund
Venue:Comput. Complex. 1991