Problème SAT

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

Source : Wikipédia