10.3969/j.issn.1008-7516.2014.02.011
一种求解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