satisfiability

satisfiability

美 [sætɪsfaɪə'bɪlɪtɪ] 　英 [sætɪsfaɪə'bɪlɪtɪ]

• n.〔数〕可满足性
• 网络可满足性问题；布尔可满足性问题；一致性

英汉解释

n.	1. 〔数〕可满足性

例句

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

结合二叉判决图和布尔可满足性的等价性验证算法

Possibility-Satisfiability Degree and the Test and Improvement of the Comparison Matrix'Consistency

可能满意度与判断矩阵的一致性检验及改进

Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach

数字电路测试生成的可满足性方法研究

Using Boolean Satisfiability for Combinational Equivalence Checking

使用布尔可满足性的组合电路等价性验证算法

Study of Rational Mining Capacity in Super-Huge Coal Mine Based on Possibility-Satisfiability Method

基于可能-满意度方法的特大型矿井开采规模研究

Two Heuristic Strategies for Solving Satisfiability Problem

求解可满足性问题的两个启发式策略

A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems

非布尔问题系统求解算法的一种新思路

Theory and applications of Satisfiability Testing

可满足性测试的理论及应用

Combinational Equivalence Checking Based on Incremental Satisfiability

基于增量可满足性的等价性检验方法

RTL Satisfiability Solving and Property Checking Based on Linear Programming

基于线性规划的RTL可满足性求解和性质检验