unsatisfiable subformula的意思|示意
美 / /
英 / /
不可满足的子公式
unsatisfiable subformula相关短语
1、 minimal unsatisfiable subformula 极小不可满足子公式
2、 minimum unsatisfiable subformula 最小不可满足子式