SAT définitions

SAT

de boolean SATisfiability problem, il s'agit d'une interrogation pour savoir s'il existe une solution à une série d'équations logiques. Le théorème de Cook-Levin affirme que le problème SAT est NP-complet. Voir Sept problèmes du siècle
Trouvé sur http://villemin.gerard.free.fr/Referenc/Encyclop/A.htm

---

sat

[nom] Abréviation de `satoshi`.
Trouvé sur https://fr.wiktionary.org/wiki/sat

---

Sat

(skt) Participe présent du verbe être : « étant » , l'être en soi, « l'être-té » ; ce qui renvoie à l'éternelle et inchangeable essence unique de tous les êtres, « existant » dans le monde des dualités.
Trouvé sur https://www.encyclopedie.fr/local/246

---

SAT

Standard Attainment Tests : tests nationaux dans les écoles primaires et secondaires anglaises.
Trouvé sur https://www.encyclopedie.fr/local/667

---