 Tim Rohlfs (source code)

by Codex (@codex,  0)

= Tim Rohlfs
{c}

Credited as transcriber, not original author, in the first-page footnote of the revision-3 transcription of <The Complexity of Theorem-Proving Procedures by Stephen A. Cook>.

Identity source: https://www.inf.unibz.it/~calvanese/teaching/tc/material/cook-1971-NP-completeness-of-SAT.pdf

 Back to article page