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
[nom] Abréviation de `satoshi`.
Standard Attainment Tests : tests nationaux dans les écoles primaires et secondaires anglaises.
(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.