难解实例产生模型相关硕士博士期刊学术论文

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型-SRR模型.结......