Twelve Problems in Proof Complexity
暂无分享,去创建一个
[1] Pavel Hrubes,et al. Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm , 2022 .
[2] Igor Prívara,et al. Mathematical Foundations of Computer Science 1997 , 1997, Lecture Notes in Computer Science.
[3] Troy Lee,et al. Disjointness Is Hard in the Multi-party Number-on-the-Forehead Model , 2008, Computational Complexity Conference.
[4] Karel Král. Non-delta-function electronic spectral densities in individual quantum dots , 2008, Microelectron. J..
[5] Stephen A. Cook,et al. The Relative Efficiency of Propositional Proof Systems , 1979, Journal of Symbolic Logic.
[6] R. Remmert,et al. European Mathematical Society , 1994 .
[7] J. Krajícek. A Fundamental Problem of Mathematical Logic , 1996 .
[8] Jirí Sgall,et al. Algebraic models of computation and interpolation for algebraic proof systems , 1996, Proof Complexity and Feasible Arithmetics.
[9] Alexander Schrijver,et al. Cones of Matrices and Set-Functions and 0-1 Optimization , 1991, SIAM J. Optim..
[10] Jan Krajícek,et al. Bounded arithmetic, propositional logic, and complexity theory , 1995, Encyclopedia of mathematics and its applications.
[11] Jan Kra,et al. Lower Bounds to the Size of Constant-depth Propositional Proofs , 1994 .
[12] Pavel Pudlák,et al. Lower bounds for resolution and cutting plane proofs and monotone computations , 1997, Journal of Symbolic Logic.
[13] Toniann Pitassi,et al. Lower bounds for Lov´ asz-Schrijver systems and beyond, using multiparty communication complexity , 2005 .
[14] Samuel R. Buss,et al. Proof Complexity and Feasible Arithmetics , 1997 .
[15] Samuel R. Buss,et al. On the computational content of intuitionistic propositional proofs , 2001, Ann. Pure Appl. Log..
[16] A. Razborov. Lower bounds on the size of bounded depth circuits over a complete basis with logical addition , 1987 .
[17] A. Razborov. Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic , 1995 .
[18] Jan Krajícek,et al. Lower bounds to the size of constant-depth propositional proofs , 1994, Journal of Symbolic Logic.
[19] Pavel Pudlák,et al. On reducibility and symmetry of disjoint NP pairs , 2003, Theor. Comput. Sci..
[20] M. L. Dalla Chiara,et al. Quantum Logic , 2001 .
[21] J. Krajícek. On the weak pigeonhole principle , 2001 .
[22] Roman Smolensky,et al. Algebraic methods in the theory of lower bounds for Boolean circuit complexity , 1987, STOC.
[23] J. Krajícek. On Methods for Proving Lower Bounds in Propositional Logic , 1997 .
[24] Pavel Hrubes,et al. Lower bounds for modal logics , 2007, Journal of Symbolic Logic.
[25] Hans Tompits,et al. On Different Proof-Search Strategies for Orthologic , 2003, Stud Logica.
[26] P. Beame. A switching lemma primer , 1994 .
[27] Arist Kojevnikov,et al. Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies , 2006, ICALP.
[28] Alexander A. Razborov,et al. Lower bounds for the polynomial calculus , 1998, computational complexity.
[29] Pavel Pudl ak a. On reducibility and symmetry of disjoint NP pairs , 2003 .
[30] Alexander A. Razborov,et al. On provably disjoint NP-pairs , 1994, Electron. Colloquium Comput. Complex..
[31] Russell Impagliazzo,et al. Using the Groebner basis algorithm to find proofs of unsatisfiability , 1996, STOC '96.
[32] J. Kraj. Lower Bounds for a Proof System with an Exponential Speed-up over Constant-depth Frege Systems and over Polynomial Calculus , 1997 .
[33] Dag Normann,et al. Logic Colloquium 2005 , 2007 .
[34] Jan Krajícek,et al. Proof complexity in algebraic systems and bounded depth Frege systems with modular counting , 1997, computational complexity.
[35] Jan Krajícek,et al. Exponential Lower Bounds for the Pigeonhole Principle , 1992, STOC.
[36] Ran Raz,et al. No feasible interpolation for TC/sup 0/-Frege proofs , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[37] Russell Impagliazzo,et al. A Note on Conservativity Relations among Bounded Arithmetic Theories , 2002, Math. Log. Q..
[38] P. Pudlák. Chapter VIII - The Lengths of Proofs , 1998 .
[39] Jan Kraj́ıček,et al. A proof complexity generator , 2022 .
[40] Miklós Ajtai,et al. The complexity of the Pigeonhole Principle , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
[41] A. Razborov. Bounded Arithmetic and Lower Bounds in Boolean Complexity , 1995 .
[42] Jan Krajícek,et al. NP search problems in low fragments of bounded arithmetic , 2007, J. Symb. Log..
[43] Czech Republickrajicek. A Fundamental Problem of Mathematical Logic , 2022 .
[44] Toniann Pitassi,et al. Lower Bounds for Lov[a-acute]sz--Schrijver Systems and Beyond Follow from Multiparty Communication Complexity , 2007, SIAM J. Comput..
[45] Jan Krajícek,et al. An Exponenetioal Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole Principle , 1995, Random Struct. Algorithms.
[46] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .
[47] Jan Krajícek,et al. Bounded Arithmetic and the Polynomial Hierarchy , 1991, Ann. Pure Appl. Log..
[48] Sanjeeb Dash,et al. An Exponential Lower Bound on the Length of Some Classes of Branch-and-Cut Proofs , 2002, IPCO.
[49] Michael Alekhnovich,et al. Pseudorandom generators in propositional proof complexity , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.
[50] S. Buss. Handbook of proof theory , 1998 .
[51] Jan Krajícek,et al. Some Consequences of Cryptographical Conjectures for S12 and EF , 1998, Inf. Comput..
[52] P. Clote,et al. Arithmetic, proof theory, and computational complexity , 1993 .
[53] Arkadev Chattopadhyay,et al. Multiparty Communication Complexity of Disjointness , 2008, Electron. Colloquium Comput. Complex..
[54] Jan Krajícek,et al. Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus , 1997, MFCS.
[55] J. Kraj. On the Weak Pigeonhole Principle , 2001 .
[56] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.