Logique et solveurs SAT
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 Logique et solveurs SAT, dont les autres notions sont dans les exercices corrigés de Logique et solveurs SAT. Tous les parcours sont dans la bibliothèque.