satisfiable formula
基本解释
- [數學]可滿足公式
英汉例句
- A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.
一個公式是極小不可滿足的是指該公式本身不可滿足，而且從中刪去任意一個 子句後得到的公式可滿足。
雙語例句
词组短语
- satisfiable propositional formula 命題可滿足公式
短語
专业释义
- 可滿足公式