1.
The Improvement of Sub-SAT for FPGA Routing
一种改进的子集可满足性算法用于FPGA布线
2.
THE UNSATISFIABILITY OF RANDOM K-SAT FORMULA VS MINIMAL K-HITTING SET
随机k-SAT公式不可满足性VS最小k-击中集
3.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
4.
Information layer for plant-wide data collection and program and maintenance
信息层可满足设备数据采集,编程及操作的要求。
5.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
6.
Survey on Solving SAT Problems in EDA
EDA领域中可满足性问题求解方法研究
7.
Commutativity of Semiprime Rings with Constraints on Varying Polynomial Equality
满足某可变恒等式的半质环的交换性
8.
Some Subclasses of Petri Net with Confluence Property
几种满足汇合性质的Petri网子类
9.
"Turnips are not like to appease Salladhor Saan. I require gold or silver."
“芜菁可不能满足萨拉多桑恩。我需要金子或银子。”
10.
"Deterministic, repeatable performance for both discrete and process applications"
确定性和可重复性可满足离散及连续过程控制
11.
An Approach of Exploiting Observability Don't Cares in SAT Solver
可满足性求解器中一种可观无关性利用方法
12.
This requirement for cosmology might be satisfied by quantum cosmo- logy.
这个要求可望在量子宇宙论中得到满足。
13.
A Breadth-first-search Algorithm for Deriving Minimal Unsatisfiable Subformulae in Satisfiability Modulo Theories
求解极小SMT不可满足子式的宽度优先搜索算法
14.
A Local Search Algorithm for the Boolean Unsatisfiable Subformulae Extraction
一种求解布尔不可满足子式的局部搜索算法
15.
Research of AFAP Protocol Realizing Atomicity and Fair Anonymity
满足原子性和公平匿名性的AFAP协议研究
16.
Genetically modified animal organs could begin to fill this need.
遗传性地修改动物器官可能开始满足这一需要。
17.
2--D Wind Resistant Reliability Satisfying Comfort Requirements of Residents for Tall Buildings
高层建筑满足人舒适度的二维抗风可靠性
18.
Exponential Time Algorithms of Knapsack and Constraint Satisfaction Problem;
背包问题和约束可满足性问题的指数时间算法