... 子关系：subrelation 子公式：subformula 子格：sublattice ...
基于96个网页-相关网页
Bonding subformula 键子式
unsatisfiable subformula 不可满足子式
maximal satisfiable subformula 极大可满足子式
minimum unsatisfiable subformula 最小不可满足子式
minimal unsatisfiable subformula 极小不可满足子公式
·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
应用推荐
模块上移
模块下移
不移动