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 formula
<dd id="dfaqi"></dd>