变元改名相关硕士博士期刊学术论文

研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名ψ,使得ψ(F)=H?”的复杂性.对于极小不可满足公式的子类MAX......