scientific article; zbMATH DE number 1114015

zbMath0891.03025MaRDI QIDQ4375784

Søren Riis, P. W. Beame

Publication date: 8 February 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exponential lower boundspigeonhole principlebounded-depth Frege proofsmodular counting principles

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (6)

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

This page was built for publication: