minimum unsatisfiable subformula
minimum unsatisfiable subformula
最小不满足子公式
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
youdao
更多双语例句