说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> Boolean可满足性问题(SAT)
1)  Boolean satisfiability (SAT)
Boolean可满足性问题(SAT)
2)  Propositional Satisfia-bility(SAT)
命题可满足性(SAT)
3)  SAT [英][sæt]  [美][sæt]
可满足性问题
1.
Some Study on SAT and Graph Coloring Algorithms;
可满足性问题和图染色的一些研究
更多例句>>
4)  satisfiability(SAT)
可满足性问题
例句>>
5)  satisfiability [,sætisfaiə'biliti]
可满足性问题
1.
Ahybrid algorithm for solving the satisfiability problem is proposed.
提出了一个求解难可满足性问题的简单混合算法 。
更多例句>>
6)  Satisfiability Problem
可满足性问题
1.
Solving Satisfiability Problem Based on Modified Genetic Algorithm;
基于改进的遗传算法求解可满足性问题
2.
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为 SAT 问题。
3.
The research of Satisfiability problem (SAT).
本文的研究工作首先就从验证问题的基本理论问题—可满足性问题入手。
更多例句>>
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8

性质：暂无

制备方法：暂无

用途：用于轻、中度原发性高血压。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条