satisfiable formula
基本解釋
- [數(shù)學(xué)]可滿(mǎn)足公式
英漢例句
- A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.
一個(gè)公式是極小不可滿(mǎn)足的是指該公式本身不可滿(mǎn)足,而且從中刪去任意一個(gè) 子句后得到的公式可滿(mǎn)足。
雙語(yǔ)例句
專(zhuān)業(yè)釋義
- 可滿(mǎn)足公式