« Problème SAT » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 13 : | Ligne 13 : | ||
<small> | <small> | ||
[https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT Source : Wikipédia ] | [https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT Source : Wikipédia ] | ||
Version du 22 mars 2021 à 10:13
Définition
En informatique théorique, problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie.
Français
problème SAT
problème de satisfaisabilité booléenne
Anglais
Boolean satisfiability problem
SAT
Contributeurs: Isaline Hodecent, wiki
