Satisfiabilité booléenne
Exercices corrigés : DPLL
Dérouler une trace, distinguer propager de décider, et le coût d'une réfutation.
3 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.