Logique et solveurs SAT
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 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.