“The complexity of theorem-proving procedures” Stephen Cook (1971)

Published: October 21, 2024

abstract-business-code-270348

Article URL: https://dl.acm.org/doi/10.1145/800157.805047

Comments URL: https://news.ycombinator.com/item?id=41900163

Points: 1

# Comments: 0