大家在查：个体变元谓词演算系统约束出现变形规则分离规则谓词变元谓词常元二元谓词一元谓词个体变项

可满足性

网络Satisfiability; SAT; satisfiability, SAT

可满足性

可满足性

可满足性

Satisfiability

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

SAT

赵伟楠;对可满足性（SAT）问题求全解的算法研究及实现[D];北京交通大学;2009年徐昕白;文本水印在数字版权保护中的应用研 …

satisfiability, SAT

可满足性(Satisfiability, SAT)问题是最困难的一类NP问题。通过C n-NOT门和NOT门构造逻辑电路,结合谱线实现的特点,给出了 …

S Satisfiability

软件开发常用词汇 - 豆丁网 ... rvlaue 右值 S Satisfiability 可满足性 save 保存 ...

P S AT

命题可满足性(P S AT)问题的一些特例如2 S AT和3 S AT问题.kS AT问题就是要为一个子句的合取找到一个模型,最长的合取式 …

SAT SAT

...经验，并通过实验进行检验和逐步改进。可满足性 可满足性((SAT SAT))问题问题可满足性问题是解决数理逻辑、推理、 …

1

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

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

2

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

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

3

In spite of its NPC property , the problem can be solved in polynomial time if the number of literals in a clause is limited to 2 (2-SAT).

虽然 SAT 问题是 NP 完全问题，但在每个子句的长度小于等于 2 （2-SAT ）的情况下是可以在线性时间判定其可满足性的。

4

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

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

5

To improve the efficiency of SAT solver , a new method using observability don't cares (ODC) is presented .

为了提高可满足性求解器的效率，提出了一种利用电路可观无关性的方法。

6

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

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

7

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

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

8

An Approach to a Constraint Satisfaction Problem Using Genetic Algorithm

一个约束可满足性问题的演化算法求解

9

Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach

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

10

Using Boolean Satisfiability for Combinational Equivalence Checking

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

热词推荐

大家在看