Probabilistically Checkable Proofs and the Testing of Hadamard-like Codes (1996)

Cached

Download Links

by Marcos Kiwi
Citations:15 - 3 self

Documents Related by Co-Citation

206 Free Bits, PCPs and Non-Approximability -- Towards Tight Results – Mihir Bellare, Oded Goldreich, Madhu Sudan - 1996
647 Some optimal inapproximability results – Johan Håstad - 2002
208 Proof verification and intractability of approximation problems – S Arora, C Lund, R Motwani, M Sudan, M Szegedy - 1998
332 Robust Characterizations of Polynomials with Applications to Program Testing – Ronitt Rubinfeld, Madhu Sudan - 1996
348 Self-Testing/Correcting with Applications to Numerical Problems – Manuel Blum, Michael Luby, Ronitt Rubinfeld - 1990
429 Property Testing and its connection to Learning and Approximation – Oded Goldreich, Shafi Goldwasser, Dana Ron
173 Efficient probabilistically checkable proofs and applications to approximation – M. Bellare, S. Goldwassert, C. Lundi, A. Russell - 1993
118 Improved Non-Approximability Results – Mihir Bellare, Madhu Sudan - 1994
260 Checking Computations in Polylogarithmic Time – László Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy - 1991
406 Non-Deterministic Exponential Time has Two-Prover Interactive Protocols – Laszlo Babai, Lance Fortnow, Carsten Lund
35 Testing of the long code and hardness for clique – J H˚astad - 1996
25 Recycling Queries in PCPs and in Linearity Tests – Luca Trevisan - 1998
120 Property Testing in Bounded Degree Graphs – Oded Goldreich, Dana Ron - 1997
57 Probabilistic checkable proofs: A new characterization of np – Sanjeev Arora, Shmuel Safra - 1998
57 Linearity testing in characteristic two – M. Bellare, M. Kiwi, M. Sudan - 1996
146 Improved low-degree testing and its applications – Sanjeev Arora, Madhu Sudan - 1997
83 A sublinear bipartite tester for bounded degree graphs – Oded Goldreich, Dana Ron - 1999
366 Probabilistic checking of proofs: a new characterization of NP – Sanjeev Arora - 1998
81 Selftesting/correcting for polynomials and for approximate functions – Peter Gemmell, Richard Lipton, Ronitt Rubinfeld, Madhu Sudan, Avi Wigderson - 1991