## Bounded Arithmetic and Propositional Proof Complexity (1995)

by
Samuel R. Buss

Venue: | in Logic of Computation |

Citations: | 12 - 0 self |