satisfiability的意思

satisfiability中文翻譯：

n.[數]可滿足性

相似詞語短語

unsatisfied───adj.不滿意的；未得到滿足的

self-satisfied definition───自我滿足的定義

dissatisfied employee───不滿意的員工

self-satisfied define───自滿的定義

self-satisfied about───自滿

satisfies───n.滿足因素；v.滿足（satisfy的第三人稱單數）

dissatisfied vs unsatisfied───不滿意vs不滿意

be dissatisfied with───不滿于……；對……不滿

dissatisfied men───不滿意的人

self-satisfied synonym───自滿同義詞

雙語使用場景

idea used in TP is to try to deduce the empty clause to check satisfiability.───中通常的想法是通過推出空子句的方法來判定子句集的可滿足性。

RTL hybrid satisfiability solving is the key technique of RTL verification.───RTL混合可滿足性求解是RTL驗證中的關鍵技術。

The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.───語義網的關鍵推理問題可以化為公式的可滿足性判定問題。

Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.───子句集的可滿足性判定是自動證明領域的熱點之一。

Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.───最后，根據正交子句組對整個賦值空間的覆蓋情況來判斷SAT是否滿足。

Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.───在基于邏輯電路的布爾推理過程中，經常用到二叉判決圖（BDD）與布爾可滿足性（SAT）相結合的算法。

Then, using Boolean satisfiability (SAT) solvers to solve, constrained combination test cases are found out, which meet the constraints.───利用布爾可滿足性求解器進行求解，找出滿足約束條件的約束組合測試用例。

Satisfiability (SAT) problem has been the core problem of research on computational theory.───可滿足性問題（SAT）是當代理論計算機科學的核心問題。

Combining Binary Decision Diagrams and Boolean Satisfiability for Equivalence Checking───結合二叉判決圖和布爾可滿足性的等價性驗證算法

英語使用場景