The Complexity of Theorem Proving Procedures

Book

The 1971 paper by Steven Cook that officially defined the P vs NP problem.

Mentioned in 1 video

Videos Mentioning The Complexity of Theorem Proving Procedures

The greatest unsolved problem in computer science...

The greatest unsolved problem in computer science...

Fireship

The 1971 paper by Steven Cook that officially defined the P vs NP problem.