scientific article; zbMATH DE number 1059248
From MaRDI portal
Publication:4353563
zbMath0880.68118MaRDI QIDQ4353563
Publication date: 10 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Characterizing Propositional Proofs as Noncommutative Formulas ⋮ Algebraic proof systems over formulas. ⋮ Algebraic proofs over noncommutative formulas ⋮ On the automatizability of polynomial calculus ⋮ Proof Complexity Meets Algebra ⋮ Linear gaps between degrees for the polynomial calculus modulo distinct primes ⋮ Several notes on the power of Gomory-Chvátal cuts
This page was built for publication:
