subformula的意思|示意

美 / sʌb'fɔ:mjʊlə / 英 / sʌb'fɔmjʊlə /

[计] 子公式

subformula相关短语

1、 Bonding subformula 键子式

2、 unsatisfiable subformula 不可满足子式

3、 maximal satisfiable subformula 极大可满足子式

4、 minimum unsatisfiable subformula 最小不可满足子式

5、 minimal unsatisfiable subformula 极小不可满足子公式

subformula相关例句

Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.

针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。