Satisfiabilité booléenne
Exercices corrigés : Résolution et propagation
Produire un résolvant, propager une clause unitaire, simplifier une formule.
3 exercices, corrigés dans la page, sans compte à créer.
- Produire le résolvant de deux clausesAccessible
- La propagation unitaireIntermédiaire
- Débogage : une clause satisfaite qu'on amputeExigeant
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.