...优先考虑25（赖氨酸）和23（钙），所求解如表6所示；多Agent方法首先判断出26（蛋氨酸）和z8（蛋+胱）为不可满足(unsatisfiable)约束，忽略，继而判断出约束z5与21，22，23，24和27相冲突，同样忽略……
基于1个网页-相关网页
minimal unsatisfiable formula 极小不可满足公式
unsatisfiable set 不可满足集
unsatisfiable problem 不可满足公式
minimal unsatisfiable formulas 极小不可满足公式
unsatisfiable formula 不可满足公式
unsatisfiable subformula 不可满足子式
minimal unsatisfiable 极小不可满足
unsatisfiable formulas 不可满足公式
Minimal Unsatisfiable problem 极小不可满足问题
"he knew the trap of unsatisfiable longing"
以上来源于: WordNet
Unsatisfiable constraints don't have valid solutions.
不满足的约束没有有效的解决方法。
In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.
在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。
Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
是子句数与变元数的差等于1的极小不可满足公式类。
应用推荐