| 单词 | satisfiability |
| 释义 |
例句释义: 〔数〕可满足性,可满足性问题,布尔可满足性问题,一致性 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. Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking 结合二叉判决图和布尔可满足性的等价性验证算法 www.ilib.cn 7. Possibility-Satisfiability Degree and the Test and Improvement of the Comparison Matrix'Consistency 可能满意度与判断矩阵的一致性检验及改进 www.ilib.cn 8. Research on Testing Pattern Generation for Digital Circuits using Satisfiability Approach 数字电路测试生成的可满足性方法研究 www.ilib.cn 9. Using Boolean Satisfiability for Combinational Equivalence Checking 使用布尔可满足性的组合电路等价性验证算法 www.ilib.cn 10. Study of Rational Mining Capacity in Super-Huge Coal Mine Based on Possibility-Satisfiability Method 基于可能-满意度方法的特大型矿井开采规模研究 www.ilib.cn 1. Two Heuristic Strategies for Solving Satisfiability Problem 求解可满足性问题的两个启发式策略 www.ilib.cn 2. A New Strategy in Systematic Algorithm for Non- Boolean Satisfiability Problems 非布尔问题系统求解算法的一种新思路 www.ilib.cn 3. Theory and applications of Satisfiability Testing 可满足性测试的理论及应用 forum.westgis.ac.cn 4. Combinational Equivalence Checking Based on Incremental Satisfiability 基于增量可满足性的等价性检验方法 www.ilib.cn 5. RTL Satisfiability Solving and Property Checking Based on Linear Programming 基于线性规划的RTL可满足性求解和性质检验 www.ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。