Bounded Arithmetic and Propositional Proof Complexity (1995)
by
Samuel R. Buss
Venue: | in Logic of Computation |
Citations: | 10 - 0 self |
Document Versions
Bounded Arithmetic and Propositional Proof Complexity –Samuel R. Buss — 1995 — in Logic of Computation |
Bounded Arithmetic and Propositional Proof Complexity –Samuel R. Buss — 1995 — in Logic of Computation |
Bounded arithmetic and propositional proof complexity –Samuel R. Buss — 1997 — in Logic of Computation |