Développement : 3-SAT NP complet, 2-SAT dans P [no ref, no pdf]

Détails/Enoncé :

3SAT NP-complet c'est le théorème de Cook : https://agreg-maths.fr/developpements/206

Recasages pour l'année 2023 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.