【英文缩写】 SAT
【词性类别】 自科总论,数学物理
【英文全称】 The Satisfiability Problem
【中文解释】 可满足性问题
【缩写简介】 证明NP-complete问题的基础性论题。