Aller au contenu principal
Page
vive
Parcours
Pratiquer
Aide-mémoire
Rechercher
Ctrl K
Chargement de l'exercice...
Deux littéraux suffisent à surveiller une clause · Exercice corrigé · Satisfiabilité booléenne · Page vive
Satisfiabilité booléenne
/
Ce qui rend un solveur rapide
/
Deux littéraux suffisent à surveiller une clause
Vérifier
2 / 2
Fin
Ouverture de l'exercice…