Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
The complexity of theorem-proving procedures
Home
Publications
The complexity of theorem-proving procedures
The complexity of theorem-proving procedures
SC
Stephen A. Cook
Stephen A. Cook
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 1971
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
151-158
https://doi.org/10.1145/800157.805047
Abstract
No abstract available
Cited by 2479 articles