The relative efficiency of propositional proof systems

Stephen A. Cook and Robert A. Reckhow

misc1979

Citation key: CookReckhow1979
Year: 1979
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Stephen A. Cook and Robert A. Reckhow, “The relative efficiency of propositional proof systems,” Journal of Symbolic Logic 44 (1979), 36–50, DOI: 10.2307/2273702.

Catalog connections

Conjectures citing this source

TCS-002 $NP$ versus $coNP$ Theoretical computer science

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Stephen A. Cook and Robert A. Reckhow
doi: 10.2307/2273702
note: Stephen A. Cook and Robert A. Reckhow, “The relative efficiency of propositional proof systems,” Journal of Symbolic Logic 44 (1979), 36--50, DOI: 10.2307/2273702.
title: The relative efficiency of propositional proof systems
year: 1979