"The complexity of theorem-proving procedures" Stephen Cook (1971)dl.acm.org2 pointssandwichsphinx2 years ago