Complexity of Propositional Proofs

DOI10.1007/978-3-642-13182-0_32zbMath1284.03261OpenAlexW1676672341MaRDI QIDQ3569758

Alexander A. Razborov

Publication date: 22 June 2010

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13182-0_32

Mathematics Subject Classification ID

Complexity of proofs (03F20)

This page was built for publication: Complexity of Propositional Proofs