Satisfiabilité booléenne
Exercices corrigés : CDCL
Lire un graphe d'implication, et calculer le niveau de retour.
2 exercices, corrigés dans la page, sans compte à créer.
Cette notion fait partie du cours de Satisfiabilité booléenne, dont les autres notions sont dans les exercices corrigés de Satisfiabilité booléenne. Tous les parcours sont dans la bibliothèque.