Cook's theorem

Redirect to:

• Cook–Levin theorem