Satisfiabilité booléenne
Exercices corrigés : Les cas faciles
Reconnaître une clause de Horn, et propager jusqu'au bout sans jamais décider.
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.