Source: /cirosantilli/cook-levin-theorem

= Cook-Levin theorem
{c}
{wiki=Cook–Levin_theorem}