1)satisfiability[,s?tisfai?'biliti]可满足性
1.RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.Two heuristic strategies for solving satisfiability (SAT) problem were presented.提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.语义网的关键推理问题可以化为公式的可满足性判定问题。
英文短句/例句
1.Checking the Satisfiability of ALCN-concepts with a Complete DNF完全析取范式检测ALCN-概念的可满足性
2.Survey on Solving SAT Problems in EDAEDA领域中可满足性问题求解方法研究
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.她满足于辅助性的工作。
相关短句/例句
unsatisfiability不可满足性
3)λ-satisfiabilityλ-可满足性
4)countable satiation可数满足性
5)boolean satisfiability布尔可满足性
1.The Boolean Satisfiability is one of the most fundamental problems in computer science and a variety of algorithms-including the well-known search-based SAT algorithms-have been proposed.布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。
2.In this paper, an efficient method integrating logic simulation and Boolean satisfiability (SAT) is presented, which can verify the designs with black boxes.该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 。
6)circuit SAT solver电路可满足性
延伸阅读
连续性与非连续性(见间断性与不间断性)连续性与非连续性(见间断性与不间断性)continuity and discontinuity 11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
