Développement : Théorème de Cook

Détails/Enoncé :

SAT est NP-complet.

Versions :