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

Versions :

Pas de version pour ce développement.