Witnessing Functions in Bounded Arithmetic and Search Problems
暂无分享,去创建一个
[1] R. Smullyan. Theory of formal systems , 1962 .
[2] Jan Krajícek,et al. Lifting independence results in bounded arithmetic , 1999, Arch. Math. Log..
[3] Jeff B. Paris,et al. Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes , 1988, J. Symb. Log..
[4] Stephen A. Cook,et al. The Relative Efficiency of Propositional Proof Systems , 1979, Journal of Symbolic Logic.
[5] Jan Krajíček. No Counter-Example Interpretation and Interactive Computation , 1992 .
[6] S. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic ∗ , 1990 .
[7] Raymond M. Smullyan,et al. Theory of Formal Systems. (AM-47) , 1961 .
[8] S. Buss,et al. An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic , 1994 .
[9] Michael Sipser,et al. Parity, circuits, and the polynomial-time hierarchy , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[10] Jan Krajícek,et al. Bounded Arithmetic and the Polynomial Hierarchy , 1991, Ann. Pure Appl. Log..
[11] Stephen A. Cook,et al. The complexity of theorem-proving procedures , 1971, STOC.
[12] A. Wilkie,et al. Counting problems in bounded arithmetic , 1985 .
[13] Pavel Pudlák. Some Relations Between Subsystems of Arithmetic and Complexity of Computations , 1992 .
[14] 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.
[15] Jan Krajícek,et al. Quantified propositional calculi and fragments of bounded arithmetic , 1990, Math. Log. Q..
[16] Rohit Parikh,et al. Existence and feasibility in arithmetic , 1971, Journal of Symbolic Logic.
[17] Johan Håstad,et al. Almost optimal lower bounds for small depth circuits , 1986, STOC '86.
[18] J. Krajícek. Fragments of bounded arithmetic and bounded query classes , 1993 .
[19] A. Yao. Separating the polynomial-time hierarchy by oracles , 1985 .
[20] Miklós Ajtai,et al. ∑11-Formulae on finite structures , 1983, Ann. Pure Appl. Log..
[21] Russell Impagliazzo,et al. Exponential lower bounds for the pigeonhole principle , 1992, STOC '92.
[22] Christos H. Papadimitriou,et al. ON GRAPH-THEORETIC LEMMATA AND COMPLEXITY CLASSES (Extended Abstract ) , 1990, FOCS 1990.
[23] Mihalis Yannakakis,et al. Optimization, approximation, and complexity classes , 1991, STOC '88.
[24] 外史 竹内. Bounded Arithmetic と計算量の根本問題 , 1996 .
[25] Jeff B. Paris,et al. On the scheme of induction for bounded arithmetic formulas , 1987, Ann. Pure Appl. Log..