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
Unnamed Item, Adventures in monotone complexity and TFNP, A new proof of the weak pigeonhole principle, Proof complexity in algebraic systems and bounded depth Frege systems with modular counting, Typical forcings, NP search problems and an extension of a theorem of Riis, Collapsing modular counting in bounded arithmetic and constant depth propositional proofs