Witnessing Functions in Bounded Arithmetic and Search Problems (1994)

Cached

Download Links

by Mario Chiari , Jan Krajicek
Citations:35 - 4 self

Documents Related by Co-Citation

80 Counting problems in bounded arithmetic – Jeff B Paris, Alex J Wilkie
115 Feasibly constructive proofs and the propositional calculus – Stephen Cook - 1975
210 Bounded Arithmetic, Propositional Logic, and Complexity Theory, volume 60 of Encyclopedia of Mathematics and its Applications – Jan Kraj´ıček - 1995
54 An application of boolean complexity to separation problems in bounded arithmetic – Samuel R. Buss, Jan Krajlcek - 1994
58 Notes on Polynomially Bounded Arithmetic – Domenico Zambella
326 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
55 The relative complexity of NP search problems – Paul Beame, Stephen Cook , Jeff Edmonds , Russell Impagliazzo , Toniann Pitassi - 1997
31 Quanti propositional calculi and fragments of Bounded Arithmetic, Zeitschrift f. math. Logik und Grundlagen d – J Krajcek, P Pudlak - 1990
27 Relating the Bounded Arithmetic and Polynomial Time Hierarchies – Samuel R. Buss, Then T - 1994
27 Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic – Samuel R. Buss - 1990
13 Relating the PSPACE reasoning power of Boolean Programs and Quantified Boolean Formulas – Alan Skelley - 2000
14 Boolean programs and quantified propositional proof systems – Stephen Cook, Michael Soltys - 1999
84 Propositional proof systems, the consistency of first order theories and the complexity of computations – Jan Krajicek, Pavel Pudl'ak - 1989
121 Bounded Arithmetic, Bibliopolis – S R Buss - 1986
57 Bounded arithmetic and the polynomial hierarchy – J Krajíček, P Pudlák, G Takeuti - 1991
194 How easy is local search – D Johnson, C Papadimitriou, M Yannakakis - 1988
14 Lifting Independence Results in Bounded Arithmetic – Mario Chiari, Jan Krajicek - 1999
71 A.R.: Provability of the pigeonhole principle and the existence of infinitely many primes – J B Paris, A J Wilkie, Woods - 1988
28 An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic – Alexander A. Razborov - 1993