satisfiability

基本解釋

• 可滿足性

同根派生

• satisfiability相關(guān)詞

英漢例句

• The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
  合取范式可滿足性問題(簡稱SAT問題)是一個NP完全問題。
• The satisfiability problem is a key problem in computer science and artificial intelligence.
  這是計算機科學(xué)和人工智能中的重要問題之一。
• The research of this paper is based on the Boolean Satisfiability (SAT) Problem of combinational circuit.
  本文研究工作是針對可滿足問題（SAT）在組合電路驗證和測試中的應(yīng)用展開的。
• Binary decision diagram (BDD) and Boolean sat satisfiability (SAT) are common techniques of logic circuit-based Boolean reasoning scheme.
  摘要在基于邏輯電路的布爾推理過程中，經(jīng)常用到二叉判決圖(BDD)與布爾可滿足性(SAT)相結(jié)合的算法。
• Another goal of the project is to find good methods for checking the satisfiability of first-order formulas (in finite domains).
  本項目還研究了邏輯公式的可滿足性判定問題。

• satisfiability更多例句