unsatisfiable formulas的意思|示意
美 / /
英 / /
不可满足公式
unsatisfiable formulas相关短语
1、 minimal unsatisfiable formulas 极小不可满足公式
2、 minimal unsatisfiable sub-formulas 极小布尔不可满足子式