P
Initializing...
Cook–Levin theorem: SAT is NP-complete · Prove2Me