On extracting computations from propositional proofs (a survey)
暂无分享,去创建一个
[1] Jan Krajícek,et al. Some Consequences of Cryptographical Conjectures for S12 and EF , 1998, Inf. Comput..
[2] Jan Krajícek,et al. Lower bounds to the size of constant-depth propositional proofs , 1994, Journal of Symbolic Logic.
[3] S. Cook,et al. Logical Foundations of Proof Complexity: PEANO ARITHMETIC AND ITS SUBSYSTEMS , 2010 .
[4] Jan Krajícek. A form of feasible interpolation for constant depth Frege systems , 2010, J. Symb. Log..
[5] Pavel Pudlák,et al. Lower bounds for resolution and cutting plane proofs and monotone computations , 1997, Journal of Symbolic Logic.
[6] A. Razborov. Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic , 1995 .
[7] Avi Wigderson,et al. Monotone Circuits for Connectivity Require Super-Logarithmic Depth , 1990, SIAM J. Discret. Math..
[8] Arnold Beckmann. Characterising definable search problems in bounded arithmetic via proof notations , 2010 .
[9] Jan Krajícek,et al. Tautologies from Pseudo-Random Generators , 2001, Bulletin of Symbolic Logic.
[10] Jan Krajícek,et al. Forcing with Random Variables and Proof Complexity , 2006, London Mathematical Society lecture note series.
[11] Armin Haken,et al. The Intractability of Resolution , 1985, Theor. Comput. Sci..
[12] S. Cook,et al. Logical Foundations of Proof Complexity: INDEX , 2010 .
[13] Toniann Pitassi,et al. Non-Automatizability of Bounded-Depth Frege Proofs , 2004, computational complexity.
[14] Pavel Pudlák,et al. Alternating minima and maxima, Nash equilibria and Bounded Arithmetic , 2012, Ann. Pure Appl. Log..
[15] Jan Kra,et al. Lower Bounds to the Size of Constant-depth Propositional Proofs , 1994 .
[16] Jan Krajícek,et al. Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic , 1997, Journal of Symbolic Logic.
[17] Ran Raz,et al. On Interpolation and Automatization for Frege Systems , 2000, SIAM J. Comput..
[18] Jan Krajícek,et al. NP search problems in low fragments of bounded arithmetic , 2007, J. Symb. Log..
[19] Miklós Ajtai,et al. The complexity of the Pigeonhole Principle , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.