Publication:4375784
From MaRDI portal
zbMath0891.03025MaRDI QIDQ4375784
Publication date: 8 February 1998
exponential lower bounds; pigeonhole principle; bounded-depth Frege proofs; modular counting principles
Related Items
A new proof of the weak pigeonhole principle, Proof complexity in algebraic systems and bounded depth Frege systems with modular counting, Collapsing modular counting in bounded arithmetic and constant depth propositional proofs