satisfiable

基本解释可满足的

网络释义

1)satisfiable,可满足的2)satiable,可满足的3)α-unsatisfiability,α-可满足的4)satisfiability,可满足性5)satisfiablity degree,可满足度6)αsatisfiable,α可满足7)satisfiability,可满足8)satisfiability problem,可满足问题9)unsatisfiability,不可满足性10)Boolean satisfiability,布尔可满足

用法和例句

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)和基于电路结构搜索两大类。

Two heuristic strategies for solving satisfiability (SAT) problem were presented.

提出了两个用于求解可满足性 (SAT)问题的启发式策略。

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.

语义网的关键推理问题可以化为公式的可满足性判定问题。

The satisfiability of sentences in Fust-order group theory on the language is discussed.

讨论群的命题的可满足性。

satisfiable

网络释义

用法和例句

相关英语词汇推荐

英语导航

英语词典

热门英语词汇推荐