The relative efficiency of propositional proof systems

DOI10.1145/3588287.3588299MaRDI QIDQ6979510zbMATH OpenFDO

Authors Stephen Cook, Robert A. Reckhow

Publication date 25 May 2025

Mathematics Subject Classification ID

Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Theory of computing (68Qxx) Complexity of computation (including implicit computational complexity) (03D15) Computer science (68-XX)

This page was built for publication: The relative efficiency of propositional proof systems

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