可满足性 meaning in Chinese
satisfiability
Examples
- Generating sat instances from first - order formulas
由一阶逻辑公式得到命题逻辑可满足性问题实例 - Verification of authentication protocols for epistemic goals via sat compilation
基于可满足性求解的认证协议的认知规范验证 - Secondly , some properties of reasoning function are discussed in details such as monotonicity , compatibility and satisfiablity
详细讨论了推理函数的单调性、相容性、可满足性，并给出推理方法的一般步骤。 - Eurocrypt 93 , lofthus , norway : springer - verlag , lncs 765 , 1993 , pp . 240 - 247 . 9 p van oorschot . extending cryptographic logics of belief to key agreement
并且我们发现，其逻辑计算,可以直接转成可满足性问题sat进行处理,从而可以利用工业上高效的sat求解器来计算 - The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。