satisfiable formula

基本解釋

• [數(shù)學(xué)]可滿足公式

英漢例句

雙語例句

• A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.
  一個(gè)公式是極小不可滿足的是指該公式本身不可滿足，而且從中刪去任意一個(gè) 子句後得到的公式可滿足。

• satisfiable formula更多例句

詞組短語

短語

• satisfiable propositional formula 命題可滿足公式

• satisfiable formula更多詞組

專業(yè)釋義

數(shù)學(xué)

• 可滿足公式