scientific article

zbMATH Open1320.03083MaRDI QIDQ2939527

No author found.

Publication date: 22 January 2015

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\mathrm{TC}^0\)-Frege proofsrandom 3CNF formulasrandom 3CNF refutation

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items (2)

Unnamed Item ⋮ Some 3CNF properties are hard to test

This page was built for publication: