MIP equals NEXP
E364352
UNEXPLORED
MIP equals NEXP is a landmark complexity-theoretic result showing that problems solvable by multi-prover interactive proofs exactly match those solvable in nondeterministic exponential time.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.