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