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

Anne Condon, Joan Feigenbaum, Carsten Lund, Peter W. Shor

Browse the full STOC paper archive.