说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 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

性质:暂无

制备方法:暂无

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

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