Carte Rare

Problème SAT

problème de décision, qui détermine si une formule Booléenne est vrai.

Valeur

50 W

Attaque

289

Défense

231

Joueurs

0

774 vues Wikipédia ces 30 derniers jours

En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le 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.