Dans la théorie de la complexité computationnelle, le théorème de Cookâ '' Levin, aussi connu sous le nom de théorème de Cook, indique que le problème de satisfabilité booléenne est NP-complet.
Le théorème de Cookâ '' Levin est un théorème de l'informatique théorique qui dit que le problème de satisfabilité booléenne est NP-complet.