Mobile
Log In Sign Up
Home > english-chinese > "satisfiability" in Chinese

Chinese translation for "satisfiability"

可满足性

Related Translations:
boolean satisfiability problem:  布尔可满足性问题布尔可足性
Example Sentences:
1.The theory and applications of satisfiability testing , 6th int . conf . ,
实验结果表明,这种基于sat的方法是高效的
2.Possibility - satisfiability analysis of urban rational scale of population - take jinan as an example
特大型矿井持续开采的合理规模分析
3.Study of rational mining capacity in super - huge coal mine based on possibility - satisfiability method
满意度方法的特大型矿井开采规模研究
4.Building and application of the currency crisis warning system based on possibility - satisfiability method
浅论高职学生自主学习英语能力的培养
5.A consistency improving method based on possibility - satisfiability degree and weighted geometric mean
一种基于可能满意度与加权几何平均的一致性改进方法
6.It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
这种方法可以对逻辑公式的原始形态直接进行计算,无需化简。
7.35 ian horrocks , peter f patel - schneider . reducing owl entailment to description logic satisfiability . in proc
该方法支持静态知识,动态过程和运行机制的有效的表示和推理。
8.International conference on theory and applications of satisfiability testing sat 05 , lncs 3569 , springer - verlag , st . andrews , uk , 2005 , pp . 408 - 414
因此如果能够把模型检测规约到qbf的满足性的判定上,将是解决状态爆炸问题一个非常有效的方法。
9.The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
10.Of the principal . and we show analytically and empirically that this model can be easily reduced to satisfiability problem and efficiently implemented by a modern sat solver
然而,他们不是在协议本身上进行分析,而是需要用户对协议理想化idealizations的结果上进行分析,而这种所谓的理想化过程无法直接转化为算法
Similar Words:
"satisfactory quality" Chinese translation, "satisfactory result" Chinese translation, "satisfactory solution" Chinese translation, "satisfactory stall" Chinese translation, "satisfactory weld" Chinese translation, "satisfiable" Chinese translation, "satisficer" Chinese translation, "satisficing" Chinese translation, "satisficing decision model" Chinese translation, "satisficing model" Chinese translation