·2,447,543篇论文数据，部分数据来源于NoteExpress
Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
youdao
应用推荐
模块上移
模块下移
不移动