| 释义 |
unsatisfiable
释义
adj. 未能偿还的；不可满足的
例句
1·Unsatisfiable constraints don't have valid solutions.
不满足的约束没有有效的解决方法。
2·In this latter case, we would say that the function is unsatisfiable ; otherwise it is satisfiable.
在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。
3·Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
是子句数与变元数的差等于1的极小不可满足公式类。
|