当前位置：
爱缩写 >
正文
-
SAT: 可满足性
-
-
相关英文缩写
-
SAT: 布尔可满足性问题
-
SAT的定义，SAT是什么意思，SAT的意思，布尔可满足性问题，SAT代表的意义布尔可满足性问题
-
SL: 可满足性
-
SL的定义，SL是什么意思，SL的意思，可满足性，SL代表的意义可满足性
-
SMT: 可满足性模理论
-
SMT的定义，SMT是什么意思，SMT的意思，可满足性模理论，SMT代表的意义可满足性模理论
-
SAT: 可满足性测试的理论与应用国际会议
-
SAT的定义，SAT是什么意思，SAT的意思，可满足性测试的理论与应用国际会议，SAT代表的意义可满足性测试的理论与应用国际会议
-
SATLIB: 可满足性图书馆
-
SATLIB的定义，SATLIB是什么意思，SATLIB的意思，可满足性图书馆，SATLIB代表的意义可满足性图书馆
-
SSPV: 可满足性求解器和程序验证
-
SSPV的定义，SSPV是什么意思，SSPV的意思，可满足性求解器和程序验证，SSPV代表的意义可满足性求解器和程序验证
-
SL: 布尔可满足性问题
-
SL的定义，SL是什么意思，SL的意思，布尔可满足性问题，SL代表的意义布尔可满足性问题
-
SL: 可满足性测试的理论与应用国际会议
-
SL的定义，SL是什么意思，SL的意思，可满足性测试的理论与应用国际会议，SL代表的意义可满足性测试的理论与应用国际会议
-
SMR: 可支持性、 可维护性和可修复
-
SMR的定义，SMR是什么意思，SMR的意思，可支持性、 可维护性和可修复，SMR代表的意义可支持性、 可维护性和可修复
-
SAT: 系统可接受性测试
-
SAT的定义，SAT是什么意思，SAT的意思，系统可接受性测试，SAT代表的意义系统可接受性测试
