P

Initializing...

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