Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions

Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor. Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions. In STOC. pages 305-314, 1993. [doi]

Abstract

Abstract is missing.