Proof verification and the hardness of approximation problems
A complete classification of the approximability of maximization problems derived from Boolean constraint satisfaction
Symmetric LDPC Codes are not Necessarily Locally Testable
Algebraic property testing
Robust Characterizations of Polynomials with Applications to Program Testing
Pseudorandom Generators without the XOR Lemma
Journal of Computer and System Sciences
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC ’94
SIAM Journal on Computing
2011 IEEE 26th Annual Conference on Computational Complexity
Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08
Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC ’97
David P. Williamson
Ronitt Rubinfeld
Carsten Lund
Sanjeev Khanna
Mihir Bellare
Amir Shpilka
Random sampling and approximation of MAX-CSP problems
The geometric maximum traveling salesman problem
Bypassing UGC from Some Optimal Geometric Inapproximability Results
Guest column
Two prover protocols