Multi-prover encoding schemes and three-prover proof systems

DOI10.1006/jcss.1996.0066zbMath0861.68089OpenAlexW2136037917MaRDI QIDQ1816732

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

Related Items (1)

The complexity of approximating a nonlinear program

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