加权MAX-SAT相关论文
为了使得算法对蚁群进化的控制更加直接、算法更加高效,针对加权MAX-SAT的特点,以重离散化方式简化蚁群算法模型,提出取值概率的概......
提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。......