Non-deterministic exponential time has two-prover interactive protocols

• 1 December 1992
• journal article
• Published by Springer Nature in computational complexity
• Vol. 2  (4) , 374
• https://doi.org/10.1007/bf01200430

Abstract

Keywords

• DETERMINISTIC EXPONENTIAL
• INTERACTIVE PROTOCOLS
• TWO PROVER
• EXPONENTIAL TIME
• PROVER INTERACTIVE