说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可满足性问题
1)  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).
本文的研究工作首先就从验证问题的基本理论问题—可满足性问题入手。
2)  satisfiability(SAT)
可满足性问题
3)  satisfiability [,sætisfaiə'biliti]
可满足性问题
1.
Ahybrid algorithm for solving the satisfiability problem is proposed.
提出了一个求解难可满足性问题的简单混合算法 。
4)  SAT [英][sæt]  [美][sæt]
可满足性问题
1.
Some Study on SAT and Graph Coloring Algorithms;
可满足性问题和图染色的一些研究
5)  satisfiability problem
可满足问题
6)  Proposition Satisfactory Problem
命题可满足性问题
补充资料:连续性与非连续性(见间断性与不间断性)


连续性与非连续性(见间断性与不间断性)
continuity and discontinuity

11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt,n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条