| 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的结果上进行分析,而这种所谓的理想化过程无法直接转化为算法 |
