1.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
2.
Survey on Solving SAT Problems in EDA
EDA领域中可满足性问题求解方法研究
3.
An Approach of Exploiting Observability Don't Cares in SAT Solver
可满足性求解器中一种可观无关性利用方法
4.
Exponential Time Algorithms of Knapsack and Constraint Satisfaction Problem;
背包问题和约束可满足性问题的指数时间算法
5.
Research and Implementation of an All-Solution SAT Solver
对可满足性（SAT）问题求全解的算法研究及实现
6.
Solving the Satisfiability Problems with Evolutionary Negative Selection Algorithms
基于进化非选择算法的可满足性问题求解
7.
The Improvement of Sub-SAT for FPGA Routing
一种改进的子集可满足性算法用于FPGA布线
8.
PIE Satisfiability Analysis Based on the Theory of Information Needs Level
基于信息需求层次理论的PIE可满足性分析
9.
RTL Datapath Satisfiability Solving Using a Binary CSP Engine
采用二元CSP引擎求解RTL数据通路的可满足性
10.
THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET
随机k-SAT公式不可满足性VS最小k-击中集
11.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
12.
Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality
满足某可变恒等式的半质环的交换性
13.
"Deterministic, repeatable performance for both discrete and process applications"
确定性和可重复性可满足离散及连续过程控制
14.
Genetically modified animal organs could begin to fill this need.
遗传性地修改动物器官可能开始满足这一需要。
15.
2--D Wind Resistant Reliability Satisfying Comfort Requirements of Residents for Tall Buildings
高层建筑满足人舒适度的二维抗风可靠性
16.
Karl·Poppe held that any law had the traits of universality, repetitiveness and predictability.
卡尔·波普认为 ,规律应满足普适性、重复性和可预测性的特点。
17.
It is right to Be contented with what we have, never with what we are.
我们可以满足于所得，但不能满足于现状。
18.
She satisfies the work of supplementary property.
她满足于辅助性的工作。