« Problème SAT » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 12 : | Ligne 12 : | ||
'''SAT''' | '''SAT''' | ||
==Sources== | |||
[https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT Source : Wikipédia ] | [https://fr.wikipedia.org/wiki/Probl%C3%A8me_SAT Source : Wikipédia ] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 12:38
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
Sources
Contributeurs: Isaline Hodecent, wiki
