| | |
Summary: Probabilistic Checking of Proofs
and
Hardness of Approximation Problems
Sanjeev Arora
CS-TR-476-94
(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 128.112.152.13). 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.
Technical Reports
Department of Computer Science
Princeton University
35 Olden Street
Princeton, NJ 08544-2087
Probabilistic Checking of Proofs
and
|
