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

by LÁSZLÓ BABAI, LANCE FORTNOW, CARSTEN LUND
Venue:Comput. Complexity