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.
La question de savoir si un tel algorithme existe s'appelle le problème P versus NP et il est généralement considéré comme le problème non résolu le plus important en informatique théorique.