The complexity of theorem-proving procedures

Stephen A. Cook

Journal: Proceedings of the third annual ACM symposium on Theory of computing - STOC '71

Publisher: ACM Press

Citations are the number of DOI-registered works in Crossref that cite this paper; references are how many works it cites. Full text is on the publisher site via the DOI link.