= The Relative Efficiency of Propositional Proof Systems by Stephen Cook and Robert A. Reckhow
{c}
{tag=Work by Stephen Cook}
{tag=Work by Robert A. Reckhow}
{title2=1979}
By <Stephen Cook> and <Robert A. Reckhow>. Journal of Symbolic Logic 44(1), 36–50, March 1979.
Author-hosted original: https://www.cs.toronto.edu/~sacook/homepage/cook_reckhow.pdf
Locator: §1, Definition 1.3 and pp.38–39 describe the polynomial-time surjective proof function and encoding invalid proofs as a fixed tautology.
Back to article page
