P
Initializing...
Cook p. 5: 3-SAT is $\mathbf{NP}$-complete (Cook 1971) · Prove2Me