说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 可满足性模理论
1)  satisfiability modulo theories(SMT)
可满足性模理论
1.
A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories(SMT),and could be used in automatic tools to rapidly locate the errors.
极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误。
2)  reasoning on satisfiability
可满足性推理
3)  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.
语义网的关键推理问题可以化为公式的可满足性判定问题。
更多例句>>
4)  strong model checking
模型检验强可满足性
1.
The paper introduced a strong model checking(SMC)algorithm in generalized symbolic trajectory evaluation(GSTE)and analyzed the reason leading to false negative,proposed the improved SMC algorithm to reduce the false negative.
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法。
5)  unsatisfiability
不可满足性
例句>>
6)  λ-satisfiability
λ-可满足性
补充资料：连续性与非连续性(见间断性与不间断性)


连续性与非连续性(见间断性与不间断性)
continuity and discontinuity

11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条