Cook, S. A. The complexity of theorem-proving procedures. (Russian) Zbl 0363.68125 Kibern. Sb., Nov. Ser. 12, 5-15 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 131 Documents MSC: 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68Q25 Analysis of algorithms and problem complexity PDFBibTeX XMLCite \textit{S. A. Cook}, Kibern. Sb., Nov. Ser. 12, 5--15 (1975; Zbl 0363.68125)