Dans la théorie de la complexité computationnelle, le théorème de Cook -- Levin, également connu sous le nom de théorème de Cook, indique que le problème de satisfabilité booléenne est NP-complet.
Tout problème dans le NP peut être modifié de façon à ce que le théorème de la satisfabilité booléenne puisse être modifié.