说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 不可满足性
1)  unsatisfiability
不可满足性
例句>>
2)  satisfiability [,sætisfaiə'biliti]
可满足性
1.
RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
更多例句>>
3)  unsatisfiable set
不可满足集
4)  λ-satisfiability
λ-可满足性
5)  countable satiation
可数满足性
6)  unsatisfiable subformula
不可满足子式
1.
An unsatisfiable subformula can provide a succinct explanation of infeasibility,and help application automatic tools to rapidly locate the errors,and to determine the underlying reasons for the failure.
不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
2.
A small unsatisfiable subformula can provide a succinct explanation of infeasibility,and help automatic tools to rapidly locate the errors,and determine the underlying reasons for the failure.
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
更多例句>>
补充资料：不可说不可说
【不可说不可说】
　　谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条