minimal unsatisfiable formulas的意思|示意
美 / /
英 / /
最小不可满足公式
minimal unsatisfiable formulas的网络常见释义
极小不可满足公式 【Key words】 Key literals； Backbone； Satisfiable formulas； Minimal unsatisfiable formulas； Algorithm； Complexity；
minimal unsatisfiable formulas相关短语
1、 minimal unsatisfiable sub-formulas 极小布尔不可满足子式