scientific article; zbMATH DE number 1163984
From MaRDI portal
Publication:4395611
zbMath0907.03024MaRDI QIDQ4395611
Publication date: 11 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveylower boundsFrege systemshard tautologieslocal Boolean valuationspartial Boolean valuationsprover-adversary games
Related Items (4)
On the automatizability of resolution and related propositional proof systems ⋮ Proof complexity in algebraic systems and bounded depth Frege systems with modular counting ⋮ Some consequences of cryptographical conjectures for \(S_2^1\) and EF ⋮ Interpolation by a Game
This page was built for publication:
