Développement : Théorème de Cook

Détails/Enoncé :

SAT est NP-complet.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Langages formels, Calculabilité et Complexité, Carton (utilisée dans 19 versions au total)