1) Non-Boolean satisfiability problems
非布尔可满足性问题
2) Boolean satisfiability problem
布尔可满足问题
1.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
3) SAT
[英][sæt] [美][sæt]
可满足性问题
1.
Some Study on SAT and Graph Coloring Algorithms;
可满足性问题和图染色的一些研究
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).
本文的研究工作首先就从验证问题的基本理论问题—可满足性问题入手。
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条