P
Initializing...
Cook's Turing machines; the classes P, NP, coNP; reductions; NP-completeness; CNF-SAT · Prove2Me