可满足性的英文

• satisfiability

• 可:    approve
• 满足:    satisfied; content; contente ...
• 性:    nature; character; dispositi ...
• 布尔可满足性问题:    boolean satisfiability problem
• 可满足的:    satiable; satisfiable

例句与用法

1. Generating sat instances from first - order formulas
   由一阶逻辑公式得到命题逻辑可满足性问题实例
2. Verification of authentication protocols for epistemic goals via sat compilation
   基于可满足性求解的认证协议的认知规范验证
3. Secondly , some properties of reasoning function are discussed in details such as monotonicity , compatibility and satisfiablity
   详细讨论了推理函数的单调性、相容性、可满足性，并给出推理方法的一般步骤。
4. 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求解器来计算
5. The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
   定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。