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
