TR-94-18

Fault tolerant circuits and probabilistically checkable proofs

Gal, Anna; Szegedy, Mario. 31 October, 1994.
Supersedes: revised version of TR-93-17, same name, December 1993 (updated 06/08/01)

The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).