变元自由度相关硕士博士期刊学术论文

通过对3-CNF公式加以限制,要求其中每个变元出现的次数相同,引出正则3-SAT问题。进一步,通过对两种子句产生机制形成的（3,s）-CNF公式......