A Multi-prover Interactive Proof for NEXP Sound against Entangled Provers.

Tsuyoshi Ito, Thomas Vidick

Browse the full FOCS paper archive.