|
Search the dblp DataBase
Eli Ben-Sasson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eli Ben-Sasson, Madhu Sudan
Robust Locally Testable Codes and Products of Codes. [Citation Graph (0, 0)][DBLP] APPROX-RANDOM, 2004, pp:286-297 [Conf]
- Eli Ben-Sasson
Hard Examples for Bounded Depth Frege. [Citation Graph (0, 0)][DBLP] IEEE Conference on Computational Complexity, 2002, pp:4- [Conf]
- Eli Ben-Sasson, Nicola Galesi
Space Complexity of Random Formulae in Resolution. [Citation Graph (0, 0)][DBLP] IEEE Conference on Computational Complexity, 2001, pp:42-51 [Conf]
- Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, Salil P. Vadhan
Short PCPs Verifiable in Polylogarithmic Time. [Citation Graph (0, 0)][DBLP] IEEE Conference on Computational Complexity, 2005, pp:120-134 [Conf]
- Eli Ben-Sasson, Avi Wigderson
Short Proofs Are Narrow - Resolution Made Simple (Abstract). [Citation Graph (0, 0)][DBLP] IEEE Conference on Computational Complexity, 1999, pp:2- [Conf]
- Michael Alekhnovich, Eli Ben-Sasson
Linear Upper Bounds for Random Walk on Small Density Random 3-CNF. [Citation Graph (0, 0)][DBLP] FOCS, 2003, pp:352-361 [Conf]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Pseudorandom Generators in Propositional Proof Complexity. [Citation Graph (0, 0)][DBLP] FOCS, 2000, pp:43-53 [Conf]
- Eli Ben-Sasson, Russell Impagliazzo
Random CNF's are Hard for the Polynomial Calculus. [Citation Graph (0, 0)][DBLP] FOCS, 1999, pp:415-421 [Conf]
- Eli Ben-Sasson, Swastik Kopparty, Jaikumar Radhakrishnan
Subspace Polynomials and List Decoding of Reed-Solomon Codes. [Citation Graph (0, 0)][DBLP] FOCS, 2006, pp:207-216 [Conf]
- Eli Ben-Sasson, Oded Goldreich, Madhu Sudan
Bounds on 2-Query Codeword Testing. [Citation Graph (0, 0)][DBLP] RANDOM-APPROX, 2003, pp:216-227 [Conf]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Space complexity in propositional calculus. [Citation Graph (0, 0)][DBLP] STOC, 2000, pp:358-367 [Conf]
- Eli Ben-Sasson
Size space tradeoffs for resolution. [Citation Graph (0, 0)][DBLP] STOC, 2002, pp:457-464 [Conf]
- Eli Ben-Sasson
Hard examples for bounded depth frege. [Citation Graph (0, 0)][DBLP] STOC, 2002, pp:563-572 [Conf]
- Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, Salil P. Vadhan
Robust pcps of proximity, shorter pcps and applications to coding. [Citation Graph (0, 0)][DBLP] STOC, 2004, pp:1-10 [Conf]
- Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodnikova
Some 3CNF properties are hard to test. [Citation Graph (0, 0)][DBLP] STOC, 2003, pp:345-354 [Conf]
- Eli Ben-Sasson, Madhu Sudan
Simple PCPs with poly-log rate and query complexity. [Citation Graph (0, 0)][DBLP] STOC, 2005, pp:266-275 [Conf]
- Eli Ben-Sasson, Madhu Sudan, Salil P. Vadhan, Avi Wigderson
Randomness-efficient low degree tests and short PCPs via epsilon-biased sets. [Citation Graph (0, 0)][DBLP] STOC, 2003, pp:612-621 [Conf]
- Eli Ben-Sasson, Avi Wigderson
Short Proofs are Narrow - Resolution Made Simple. [Citation Graph (0, 0)][DBLP] STOC, 1999, pp:517-526 [Conf]
- Eli Ben-Sasson
Hard examples for the bounded depth Frege proof system. [Citation Graph (0, 0)][DBLP] Computational Complexity, 2002, v:11, n:3-4, pp:109-136 [Journal]
- Eli Ben-Sasson, Russell Impagliazzo, Avi Wigderson
Near Optimal Separation Of Tree-Like And General Resolution. [Citation Graph (0, 0)][DBLP] Combinatorica, 2004, v:24, n:4, pp:585-603 [Journal]
- Eli Ben-Sasson, Madhu Sudan
Robust Locally Testable Codes and Products of Codes [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Eli Ben-Sasson, Russell Impagliazzo, Avi Wigderson
Near-Optimal Separation of Treelike and General Resolution [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2000, v:7, n:5, pp:- [Journal]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Pseudorandom Generators in Propositional Proof Complexity [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2000, v:7, n:23, pp:- [Journal]
- Eli Ben-Sasson, Nicola Galesi
Space Complexity of Random Formulae in Resolution [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2001, v:8, n:31, pp:- [Journal]
- Eli Ben-Sasson, Yonatan Bilu
A Gap in Average Proof Complexity [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2002, v:, n:003, pp:- [Journal]
- Eli Ben-Sasson, Prahladh Harsha
Lower Bounds for Bounded-Depth Frege Proofs via Buss-Pudlack Games [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2003, v:10, n:004, pp:- [Journal]
- Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodnikova
3CNF Properties are Hard to Test [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2003, v:10, n:006, pp:- [Journal]
- Eli Ben-Sasson, Oded Goldreich, Madhu Sudan
Bounds on 2-Query Codeword Testing. [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2003, v:10, n:019, pp:- [Journal]
- Michael Alekhnovich, Eli Ben-Sasson
Linear Upper Bounds for Random Walk on Small Density Random 3CNFs [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:016, pp:- [Journal]
- Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, Salil P. Vadhan
Robust PCPs of Proximity, Shorter PCPs and Applications to Coding [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:021, pp:- [Journal]
- Eli Ben-Sasson, Madhu Sudan
Robust Locally Testable Codes and Products of Codes [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:046, pp:- [Journal]
- Eli Ben-Sasson, Madhu Sudan
Simple PCPs with Poly-log Rate and Query Complexity [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 2004, v:, n:060, pp:- [Journal]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Space Complexity in Propositional Calculus [Citation Graph (0, 0)][DBLP] Electronic Colloquium on Computational Complexity (ECCC), 1999, v:, n:40, pp:- [Journal]
- Eli Ben-Sasson, Avi Wigderson
Short proofs are narrow - resolution made simple. [Citation Graph (0, 0)][DBLP] J. ACM, 2001, v:48, n:2, pp:149-169 [Journal]
- Eli Ben-Sasson, Nicola Galesi
Space complexity of random formulae in resolution. [Citation Graph (0, 0)][DBLP] Random Struct. Algorithms, 2003, v:23, n:1, pp:92-109 [Journal]
- Eli Ben-Sasson, Madhu Sudan
Robust locally testable codes and products of codes. [Citation Graph (0, 0)][DBLP] Random Struct. Algorithms, 2006, v:28, n:4, pp:387-402 [Journal]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Space Complexity in Propositional Calculus. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2002, v:31, n:4, pp:1184-1211 [Journal]
- Michael Alekhnovich, Eli Ben-Sasson, Alexander A. Razborov, Avi Wigderson
Pseudorandom Generators in Propositional Proof Complexity. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2004, v:34, n:1, pp:67-88 [Journal]
- Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodnikova
Some 3CNF Properties Are Hard to Test. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2005, v:35, n:1, pp:1-21 [Journal]
- Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, Salil P. Vadhan
Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2006, v:36, n:4, pp:889-974 [Journal]
- Mikhail Alekhnovich, Eli Ben-Sasson
Linear Upper Bounds for Random Walk on Small Density Random 3-CNFs. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 2007, v:36, n:5, pp:1248-1263 [Journal]
- Eli Ben-Sasson, Adam Tauman Kalai, Ehud Kalai
An Approach to Bounded Rationality. [Citation Graph (0, 0)][DBLP] NIPS, 2006, pp:145-152 [Conf]
Tensor Products of Weakly Smooth Codes Are Robust. [Citation Graph (, )][DBLP]
Composition of Semi-LTCs by Two-Wise Tensor Products. [Citation Graph (, )][DBLP]
Low Rate Is Insufficient for Local Testability. [Citation Graph (, )][DBLP]
Locally Testable Codes Require Redundant Testers. [Citation Graph (, )][DBLP]
Short Proofs May Be Spacious: An Optimal Separation of Space and Length in Resolution. [Citation Graph (, )][DBLP]
Sound 3-Query PCPPs Are Long. [Citation Graph (, )][DBLP]
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas. [Citation Graph (, )][DBLP]
Affine dispersers from subspace polynomials. [Citation Graph (, )][DBLP]
Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions [Citation Graph (, )][DBLP]
Sound 3-query PCPPs are Long. [Citation Graph (, )][DBLP]
Search in 0.050secs, Finished in 0.052secs
|