satisfiability

美 [sætɪsfaɪə'bɪlɪtɪ]
英 [sætɪsfaɪə'bɪlɪtɪ]
  • n.〔数〕可满足性
  • 网络可满足性问题；布尔可满足性问题；一致性

英汉

网络释义

n.
1.
〔数〕可满足性

例句

释义:
全部全部,〔数〕可满足性〔数〕可满足性,可满足性问题可满足性问题,布尔可满足性问题布尔可满足性问题,一致性一致性
类别:全部全部,口语口语,书面语书面语,标题标题,技术技术
来源:全部全部,字典字典,网络网络
难度:全部全部,简单简单,中等中等,难难
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
www.dictall.com
2.
Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.
最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。
www.ceps.com.tw
3.
Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.
在基于逻辑电路的布尔推理过程中，经常用到二叉判决图（BDD）与布尔可满足性（SAT）相结合的算法。
www.ceps.com.tw
4.
Then, using Boolean satisfiability (SAT) solvers to solve, constrained combination test cases are found out, which meet the constraints.
利用布尔可满足性求解器进行求解，找出满足约束条件的约束组合测试用例。
www3.chkd.cnki.net
5.
Satisfiability (SAT) problem has been the core problem of research on computational theory.
可满足性问题（SAT）是当代理论计算机科学的核心问题。
www.fabiao.net
6.
Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach
数字电路测试生成的可满足性方法研究
www.ilib.cn
7.
Using Boolean Satisfiability for Combinational Equivalence Checking
使用布尔可满足性的组合电路等价性验证算法
www.ilib.cn
8.
Study of Rational Mining Capacity in Super-Huge Coal Mine Based on Possibility-Satisfiability Method
基于可能-满意度方法的特大型矿井开采规模研究
www.ilib.cn
9.
A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems
非布尔问题系统求解算法的一种新思路
www.ilib.cn
10.
Combinational Equivalence Checking Based on Incremental Satisfiability
基于增量可满足性的等价性检验方法
www.ilib.cn