scientific article
From MaRDI portal
Publication:4035300
zbMath0781.03045MaRDI QIDQ4035300
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Cutting planes, connectivity, and threshold logic ⋮ \(\text{Count}(q)\) does not imply \(\text{Count}(p)\) ⋮ An exponential separation between the parity principle and the pigeonhole principle ⋮ A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝 Frege systems] ⋮ Unnamed Item ⋮ Deterministic summation modulo \(\mathcal B_{n}\), the semigroup of binary relations on \(0,1, \dots, n-1\) ⋮ Propositional proof systems based on maximum satisfiability
This page was built for publication:
