MAX-SAT问题相关论文
命题公式的可满足性问题（SAT问题）是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......
带硬约束的MAX—SAT问题又称为Partial MAX—SAT问题，它是SAT问题和MAX—SAT问题的结合，比后两者有着更强的描述问题的能力和更广泛......
基于差分演化算法提出了一种求解最大可满足问题（MAX-k-SAT）的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行......
目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了......
求解SAT问题的经典禁忌搜索算法TSSAT初始解是随机产生的，本文在传统的禁忌搜索算法的基础上提出了一种改进初始解的方法。通过对不......
