文字改名相关论文
一个CNF公式F称为极小不可满足的(MU)，如果F是不可满足，并且在F中删去任意一个子句后所得到的公式是可满足的。一个MU中的公式F称为......
研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX......
研究一个极小不可满足公式子类(MAX(1))的等价结构.考虑了MAX(1)上的变元改名问题和文字改名问题.此两个问题均可在O(nlog2(n))时......
