scientific article; zbMATH DE number 1114021
From MaRDI portal
Publication:4375790
zbMath0891.03026MaRDI QIDQ4375790
Publication date: 8 July 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
lower boundperfect matchinglength of cutting planes proof systemsmodular coloring principlessize of monotone Boolean circuits
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20)
This page was built for publication: