Propositional proof complexity

DOI10.1145/602382.602406zbMATH Open1326.03070DBLPjournals/jacm/Razborov03OpenAlexW2062088813WikidataQ56701137 ScholiaQ56701137MaRDI QIDQ3455555

Alexander A. Razborov

Publication date: 7 December 2015

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/602382.602406

Mathematics Subject Classification ID

Complexity of proofs (03F20)

This page was built for publication: Propositional proof complexity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455555)