A multi-prover interactive proof for NEXP sound against entangled provers

Tsuyoshi Ito, Thomas Vidick. A multi-prover interactive proof for NEXP sound against entangled provers. Electronic Colloquium on Computational Complexity (ECCC), 19:85, 2012. [doi]

Abstract

Abstract is missing.