Report2000
The P versus NP Problem
Stephen Cook
States the problem as one of the seven Millennium Prize Problems and surveys why most computer scientists suspect, but cannot yet prove, that P and NP are different classes.
link checked 17 Sept 2026Computer Science · Theory of Computation
A topic within Theory of Computation, itself one of 13 topics in that field and part of Computer Science.
2 works
Stephen Cook
States the problem as one of the seven Millennium Prize Problems and surveys why most computer scientists suspect, but cannot yet prove, that P and NP are different classes.
link checked 17 Sept 2026Lance Fortnow
Surveys decades of attempts to resolve whether P equals NP, arguing that every known proof technique faces a formal barrier explaining why the question has resisted settlement.