satisfiability

PIE Satisfiability Analysis Based on the Theory of Information Needs Level

基于信息需求层次理论的PIE可满足性分析

Improving Algorithm for Test Pattern Generation Using Satisfiability

改进可满足性的测试向量生成算法

We use possibility - satisfiability method to solve the model .

给出了解模型的可能-满意度方法（ps法），并用数据进行了实证分析。

A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem

SAT局部搜索算法的转移矩阵模型

Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach

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

Solving satisfiability problem by wu 's method (ⅰ) algorithm transform

用吴方法求解可满足性问题（Ⅰ）&算法变换

Experiments and Modification of Solving Strategies for Constraint Satisfiability Problems

约束可满足问题求解策略的改进和实验结果

Two heuristic strategies for solving satisfiability ( SAT ) problem were presented .

提出了两个用于求解可满足性（SAT）问题的启发式策略。

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

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

The Analysis of Algorithms for the Propositional Logic Satisfiability Problem

命题逻辑可满足性问题的算法分析

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

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

Solving the Satisfiability Problems with Evolutionary Negative Selection Algorithms

基于进化非选择算法的可满足性问题求解

Property Checking of Sequential Circuits Based on Satisfiability Solving

基于可满足性问题求解的时序电路性质检验方法

An Interactive Decision Making Method for General-ized Goal Programming ── Satisfiability Degree Decision Making Method

交互式广义目标规划决策方法&满意度决策方法

Combination Test Generation Based on Boolean Satisfiability

基于布尔可满足性的组合电路ATPG算法

A Probabilistic Study on the Satisfiability Problem

可满足性（SAT）问题的概率研究

On the satisfiability of sentences in first-order field theory

关于1阶域论命题的可满足性

The satisfiability of logical formula in proof of program

程序正确性证明中逻辑公式的可满足性

Deriving All Minimal Conflict Sets Using Satisfiability Algorithms

使用SAT求解器产生所有极小冲突部件集

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking

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

Propositional Satisfiability Problem ( SAT ) is a well known problem in computer science and artificial intelligence research .

SAT问题是计算机科学和人工智能研究的领域的著名问题。

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

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

On Satisfiability of Timing Constraint of a Kind of Timed Automata

一类时间自动机的时间约束可满足性判定方法

The completeness and satisfiability of circumscription under the general structure semantics

一般结构语义下限定的完备性与可满足性

Nowadays there are two popular solutions for Non-Boolean satisfiability problems , one of which is systematic algorithm .

非布尔变量的约束可满足性问题有两种较为普遍的求解方法，系统求解算法就是其中的一种。

Formal Verification and ATPG Using Boolean Satisfiability Problems

在形式验证和ATPG中的布尔可满足性问题

We study satisfiability problem to decide that whether there exists a truth assignment which can satisfy a given logical expression .

可满足性问题（SAT）研究如何判定一个任意给定的逻辑表达式是否存在可满足真值指派。

Two Subclasses of Petri-Nets with Equivalence of Reachability and State Equation Satisfiability

可达性等价于状态方程可满足性的两个Petri-Nets子类

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas .

语义网的关键推理问题可以化为公式的可满足性判定问题。

In this paper we describe a robust and efficient algorithm for ATPG & the algorithm for test pattern generation using satisfiability .

描述一种新的健全高效的测试向量自动生成方法&测试向量生成的可满足性算法。