satisfiability发音

意思翻译

n.[数]可满足性

相似词语短语

unsatisfied───adj.不满意的；未得到满足的

self-satisfied definition───自我满足的定义

dissatisfied employee───不满意的员工

self-satisfied define───自满的定义

self-satisfied about───自满

satisfies───n.满足因素；v.满足（satisfy的第三人称单数）

dissatisfied vs unsatisfied───不满意vs不满意

be dissatisfied with───不满于……；对……不满

dissatisfied men───不满意的人

self-satisfied synonym───自满同义词

双语使用场景

idea used in TP is to try to deduce the empty clause to check satisfiability.───中通常的想法是通过推出空子句的方法来判定子句集的可满足性。

RTL hybrid satisfiability solving is the key technique of RTL verification.───RTL混合可满足性求解是RTL验证中的关键技术。

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.───语义网的关键推理问题可以化为公式的可满足性判定问题。

Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.───子句集的可满足性判定是自动证明领域的热点之一。

Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.───最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。

Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.───在基于逻辑电路的布尔推理过程中，经常用到二叉判决图（BDD）与布尔可满足性（SAT）相结合的算法。

Then, using Boolean satisfiability (SAT) solvers to solve, constrained combination test cases are found out, which meet the constraints.───利用布尔可满足性求解器进行求解，找出满足约束条件的约束组合测试用例。

Satisfiability (SAT) problem has been the core problem of research on computational theory.───可满足性问题（SAT）是当代理论计算机科学的核心问题。

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking───结合二叉判决图和布尔可满足性的等价性验证算法

英语使用场景