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