Logique et solveurs SAT
Exercices corrigés : Ce que difficile veut dire
Vérifier n'est pas trouver, le rapport clauses sur variables, et le sens d'une réduction.
3 exercices, corrigés dans la page, sans compte à créer.
- Vérifier n'est pas trouverAccessible
- Le rapport qui décideIntermédiaire
- Dans quel sens va une réductionIntermé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.