Aller au contenu principal
Page
vive
Parcours
Exercices
Salle machine
Rechercher
Ctrl K
Logique et solveurs SAT
/
Ce qui rend un solveur rapide
/
Deux littéraux suffisent à surveiller une clause
Corrigé
Vérifier
2 / 2
Fin
Ouverture de l'exercice…