大家在查： Sato Kilman Satoru Iwata SATOSHI TAKEBE saturated density saturated moisture Satisfaction Survey satellite telemetry satellite RNA satellite photograph Satellite Launch Vehicle

satisfiability

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

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

satisfiability

satisfiability

英-汉网络释义

satisfiability

可满足性

Liran - 博客园 ... rvalue 右值 Satisfiability 可满足性 save 保存 ...

可满足性问题

5.1 可满足性问题(Satisfiability)100-1015.2 Hogg 高结构化搜索量子算法及 NMR 实现101-110 5.2.1 Hogg 量子算法101-103 5.2…

布尔可满足性问题

布尔可满足性问题（SATISFIABILITY）：对於布尔逻辑内合取范式方程式的满足性问题（一般直接叫做SAT）创建账户登录 …

一致性

一致性（satisfiability）和归约(subsumption)关系检查。

定性

简单得说是一个合取范式成真的问题，称为适定性(Satisfiability)问题，简称 SAT。特别的，对于给定的最大项集合，如果 max{…

1

Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field .

子句集的可满足性判定是自动证明领域的热点之一。

2

Finally , the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space .

最后，根据正交子句组对整个赋值空间的覆盖情况来判断 SAT 是否满足。

3

Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme .

在基于逻辑电路的布尔推理过程中，经常用到二叉判决图（BDD ）与布尔可满足性（SAT ）相结合的算法。

4

Then, using Boolean satisfiability (SAT) solvers to solve , constrained combination test cases are found out , which meet the constraints .

利用布尔可满足性求解器进行求解，找出满足约束条件的约束组合测试用例。

5

Satisfiability (SAT ) problem has been the core problem of research on computational theory .

可满足性问题（SAT ）是当代理论计算机科学的核心问题。

6

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

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

7

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

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

8

Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach

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

9

Using Boolean Satisfiability for Combinational Equivalence Checking

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

10

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

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

热词推荐

大家在看