极小不可满足子公式相关硕士博士期刊学术论文

用F表示经典命题逻辑的合取范式（CNF）公式，G为F中的子句。公式F是极小不可满足的，如果F不可满足，并且从F中删去任意一个子句后得到的公......