一种求解MAX-k-SAT问题的新方法

摘要：

基于差分演化算法提出了一种求解最大可满足问题（MAX-k-SAT）的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行验证。实验结果表明：IBDE是一种求解MAX-k-SAT问题非常有效的新方法。

关键词：二进制差分演化、组合优化、MAX-SAT问题

分类号：TP18(自动化基础理论)

资助基金：河北省教育厅高等学校科技研究项目Z2013110；河北省科技厅科研项目13210128

在线出版日期：2014-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：45-48