Summary: Probabilistic Checking of Proofs
Hardness of Approximation Problems
(Revised version of a dissertation submitted at
CS Division, UC Berkeley, in August 1994)
Princeton tech-reports are available in postscript form via anonymous ftp fromftp.cs.princeton.edu
(InterNet address 220.127.116.11). You may log in as anonymous, and give your email ad-
dress as password. Change to the directory reports. The le README gives details, and the
le INDEX lists the numbers and the titles of all reports. This report is numbered 476-94.
Hard-copies of this report are available for a charge of $9.50 (only US dollar checks
accepted) from the following address.
Department of Computer Science
35 Olden Street
Princeton, NJ 08544-2087
Probabilistic Checking of Proofs