SAT

Abbreviation of Boolean satisfiability problem.

SAT

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.

Initialism

• (US) IPA^(key): /ˌɛsˌeɪ̯ˈti/, [ˌɛsˌeɪ̯ˈtʰi]

• Audio (AU)

  (file)

Acronym

• (US) IPA^(key): /sæt/, [sæʔ(t̚)]

SAT (plural SATs)

1. (atmospheric sciences) Surface air temperature.
2. (US) SAT Reasoning Test (formerly 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

3. (Australia) Scholastic Aptitude Test.
4. (Britain) Statutory Assessment Test. A national curriculum assessment, or exam.

• -ast, AST, ATS, STA, Sta, Sta., T.A.s, TA's, TAS, TAs, TSA, Tas, Tas., as't, ast, at's, ats, sta, tas