Pseudorandom Generators in Propositional Proof Complexity
暂无分享,去创建一个
[1] Alexander A. Razborov,et al. Lower bounds for the polynomial calculus , 1998, computational complexity.
[2] Alexander A. Razborov. Resolution lower bounds for perfect matching principles , 2004, J. Comput. Syst. Sci..
[3] Armin Haken,et al. The Intractability of Resolution , 1985, Theor. Comput. Sci..
[4] Alexander A. Razborov,et al. Natural Proofs , 2007 .
[5] Noga Alon,et al. Spectral Techniques in Graph Algorithms , 1998, LATIN.
[6] Michael Sipser,et al. Parity, circuits, and the polynomial-time hierarchy , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[7] Alexander A. Razborov,et al. Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic , 1996, ICALP.
[8] Noam Nisan,et al. Pseudorandom bits for constant depth circuits , 1991, Comb..
[9] Eli Ben-Sasson,et al. Short proofs are narrow—resolution made simple , 2001, JACM.
[10] J. Håstad. Computational limitations of small-depth circuits , 1987 .
[11] Avi Wigderson,et al. P = BPP if E requires exponential circuits: derandomizing the XOR lemma , 1997, STOC '97.
[12] Jan Krajícek,et al. Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds , 2004, Journal of Symbolic Logic.
[13] A. Razborov. Bounded Arithmetic and Lower Bounds in Boolean Complexity , 1995 .
[14] Avi Wigderson,et al. In search of an easy witness: exponential time vs. probabilistic polynomial time , 2001, Proceedings 16th Annual IEEE Conference on Computational Complexity.
[15] Miklós Ajtai,et al. ∑11-Formulae on finite structures , 1983, Ann. Pure Appl. Log..
[16] Omer Reingold,et al. Randomness Conductors and Constant-Degree Expansion Beyond the Degree / 2 Barrier , 2001 .
[17] Alasdair Urquhart,et al. Formal Languages]: Mathematical Logic--mechanical theorem proving , 2022 .
[18] Michael E. Saks,et al. Time-Space Tradeoffs for Branching Programs , 2001, J. Comput. Syst. Sci..
[19] A. Razborov. Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic , 1995 .
[20] Russell Impagliazzo,et al. Using the Groebner basis algorithm to find proofs of unsatisfiability , 1996, STOC '96.
[21] Dima Grigoriev,et al. Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity , 2001, Theor. Comput. Sci..
[22] Russell Impagliazzo,et al. Lower bounds for the polynomial calculus and the Gröbner basis algorithm , 1999, computational complexity.
[23] Maria Luisa Bonet,et al. A study of proof search algorithms for resolution and polynomial calculus , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).
[24] Michael Alekhnovich,et al. Space complexity in propositional calculus , 2000, STOC '00.
[25] J. Kraj. On the Weak Pigeonhole Principle , 2001 .
[26] Dima Grigoriev,et al. Tseitin's tautologies and lower bounds for Nullstellensatz proofs , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
[27] Noam Nisan,et al. BPP has subexponential time simulations unless EXPTIME has publishable proofs , 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.
[28] Toniann Pitassi,et al. Propositional Proof Complexity: Past, Present and Future , 2001, Bull. EATCS.
[29] Toniann Pitassi,et al. Simplified and improved resolution lower bounds , 1996, Proceedings of 37th Conference on Foundations of Computer Science.
[30] Samuel R. Buss,et al. Linear gaps between degrees for the polynomial calculus modulo distinct primes , 1999, STOC '99.
[31] Oded Goldreich,et al. Another proof that bpp?ph (and more) , 1997 .
[32] Michael Alekhnovich,et al. Lower bounds for polynomial calculus: non-binomial case , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.
[33] Noam Nisan,et al. Hardness vs Randomness , 1994, J. Comput. Syst. Sci..
[34] A. Yao. Separating the polynomial-time hierarchy by oracles , 1985 .