In the US in 1971, Stephen Cook published his paper "The complexity of theorem proving procedures" in conference proceedings of the newly founded ACM Symposium on Theory of Computing.
在1971年的美國，史提芬·古克發表了他的論文"The complexity of theorem proving procedures"於新成立的ACM Symposium on Theory of Computing內。