Source: /wikibot/cook-levin-theorem

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