Space complexity in propositional calculus
暂无分享,去创建一个
Michael Alekhnovich | Eli Ben-Sasson | Alexander A. Razborov | Avi Wigderson | E. Ben-Sasson | A. Wigderson | A. Razborov | M. Alekhnovich | Eli Ben-Sasson | Michael Alekhnovich
[1] S. Cook,et al. On the lengths of proofs in the propositional calculus (Preliminary Version) , 1974, STOC '74.
[2] Dexter Kozen,et al. Lower bounds for natural proof systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[3] Stephen A. Cook,et al. The Relative Efficiency of Propositional Proof Systems , 1979, Journal of Symbolic Logic.
[4] G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus , 1983 .
[5] Nathan Linial,et al. Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas , 1986, J. Comb. Theory, Ser. A.
[6] J. Krajícek. Bounded Arithmetic, Propositional Logic, and Complexity Theory: Witnessing theorems , 1995 .
[7] Jan Krajícek,et al. Bounded arithmetic, propositional logic, and complexity theory , 1995, Encyclopedia of mathematics and its applications.
[8] Russell Impagliazzo,et al. Using the Groebner basis algorithm to find proofs of unsatisfiability , 1996, STOC '96.
[9] Stasys Jukna. Exponential lower bounds for semantic resolution , 1996, Proof Complexity and Feasible Arithmetics.
[10] Alexander A. Razborov,et al. Read-once branching programs, rectangular proofs of the pigeonhole principle and the transversal calculus , 1997, STOC '97.
[11] Jan Krajícek,et al. Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic , 1997, Journal of Symbolic Logic.
[12] Toniann Pitassi,et al. Propositional Proof Complexity: Past, Present and Future , 2001, Bull. EATCS.
[13] Jacobo Torán. Lower Bounds for Space in Resolution , 1999, CSL.
[14] 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).
[15] Jacobo Torán,et al. Space Bounds for Resolution , 1999, STACS.
[16] Russell Impagliazzo,et al. Lower bounds for the polynomial calculus and the Gröbner basis algorithm , 1999, computational complexity.
[17] Eli Ben-Sasson,et al. Short proofs are narrow—resolution made simple , 2001, JACM.