改名论文

MAX～+（2）公式改名的复杂性
论文摘要一个CNF公式F称为极小不可满足的（MU），如果F是不可满足，并且在F中删去任意一个子句后所得到的公式是可满足的。一个MU中的公式F称为最大的，如果对于任意一个子句f∈...