scientific article; zbMATH DE number 1114025
From MaRDI portal
Publication:4375795
zbMath0891.03027MaRDI QIDQ4375795
Alexis Maciel, Toniann Pitassi
Publication date: 8 July 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lower boundsbounded-depth Frege proofscounting connectivesmodular connectivespropositional theorem provingquasipolynomial-size proofsthreshold connective
Mechanization of proofs and logical operations (03B35) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)
Related Items (3)
Uniform proofs of ACC representations ⋮ A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝 Frege systems] ⋮ Collapsing modular counting in bounded arithmetic and constant depth propositional proofs
This page was built for publication:
