Théorème de Cook
SAT est NP-complet.
| Qualité | Numéro | Titre |
|---|
Versions
Rajouter une version
Utilisateur : Devevey
Recasable dans la 916.
Références :
Langages formels, Calculabilité et Complexité - Carton
Utilisateur : Timothée
Références :