Problème SAT
(Redirigé depuis Boolean satisfiability problem)
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