CNF范式相关论文
该文基于实验算法中的拟物方法，将获得的最小码覆盖问题的CNF范式通过转换规则化为连续函数的最优化问题，该算法应用在具体的最小码......
使用聚类排序选择方法的遗传算法，加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性，对阈值6进行调节，重新生成......
最优可满足性问题是一类典型的NP完全问题,该文提出一个基于离散问题连续化转换的拟物思想,求解转化为CNF范式的最优可满足性问题......
