字母检索 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
The Satisfiability Problem

英文简称 : SAT
中文全称 : 可满足性问题
所属分类 : 自科总论
词条简介 : 证明NP-complete问题的基础性论题。

其他解释