scientific article; zbMATH DE number 1559592
From MaRDI portal
Publication:4527041
zbMath0963.68191MaRDI QIDQ4527041
Toniann Pitassi, Alexis Maciel
Publication date: 1 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Characterizing Propositional Proofs as Noncommutative Formulas ⋮ Short propositional refutations for dense random 3CNF formulas
This page was built for publication: