英文缩写	SAT
英文全称	The Satisfiability Problem
中文解释	可满足性问题
所属分类	自科总论
浏览次数	12