Translingual Edit

Etymology Edit

Abbreviation of Boolean satisfiability problem.

Symbol Edit


  1. (computing theory) The decision problem of deciding whether a given Boolean formula has an assignment of Boolean values to its variables that makes it true. A famous NP-complete problem.

English Edit

Pronunciation Edit

  • (General American) IPA(key): /ˌɛsˌeɪ̯ˈti/, [ˌɛsˌeɪ̯ˈtʰi]
  • (file)
  • Rhymes: -iː

Noun Edit

SAT (countable and uncountable, plural SATs)

  1. (atmospheric sciences) Initialism of surface air temperature.
  2. (US) Ellipsis of SAT Reasoning Test (formerly acronyms Scholastic Aptitude Test and Scholastic Assessment Test): a national exam taken annually by high school juniors and seniors.
    take the SAT
    take an SAT
    the SATs have gotten harder
    • 2023 March 21, Ian Bogost, “Is This the Singularity for Standardized Tests?”, in The Atlantic[1]:
      AIs are no longer just producing passable five-paragraph essays. Now they’re excelling at the SAT, “earning” a score of 1410.
  3. (Australia) Acronym of Scholastic Aptitude Test.
  4. (Britain) Acronym of Statutory Assessment Test, a national curriculum assessment, or exam.

Anagrams Edit