Problème SAT


Révision datée du 28 janvier 2024 à 11:38 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Source : Wikipédia

Récupérée de « https://datafranca.org/wiki/index.php?title=Problème_SAT&oldid=91477 »

Contributeurs: Isaline Hodecent, wiki