Problème SATProblème SAT
Peu commune
Rareté : Peu commune
Un sujet un peu plus connu que la moyenne, lu et traduit au-delà de son pays.
La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.
Ce qu’il faut savoir
- Classe
- Notion
- Domaine
- Sciences et techniques
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
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.
Extrait de l’article « Problème SAT » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Image : Miguel Palomo, CC BY-SA 4.0, via Wikimedia Commons.
Ouvre des boosters gratuits et ajoute Problème SAT à ta collection.
Jouer gratuitement
