Multi-prover encoding schemes and three-prover proof systems

DOI10.1006/JCSS.1996.0066MaRDI QIDQ1816732zbMATH OpenOpenAlexFDO

Authors Gábor Tardos

Publication date 11 May 1997

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9df89975850bfe3f859dfb06a97a83ef6807b6e3

zbMATH Keywords

multi-prover encoding schemesparallel repetition conjecture

Mathematics Subject Classification ID

Recommendations

• On the power of multi-prover interactive protocols
• scientific article; zbMATH DE number 512981
• Two prover protocols, low error at affordable rates

Cited in

(1)

• The complexity of approximating a nonlinear program

This page was built for publication: Multi-prover encoding schemes and three-prover proof systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1816732)