Satisfiabilité booléenne
Exercices corrigés : Ce qui rend un solveur rapide
Les deux littéraux surveillés, et le seul chiffre qui décide de ce qu'il faut optimiser.
2 exercices, corrigés dans la page, sans compte à créer.
- Optimiser ce qui coûte, pas ce qui est visibleIntermédiaire
- Deux littéraux suffisent à surveiller une clauseIntermédiaire
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.