【文件属性】:
文件名称:一种求解MAX-k-SAT问题的新方法 (2014年)
文件大小:220KB
文件格式:PDF
更新时间:2021-05-16 06:14:01
自然科学 论文
基于差分演化算法提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行验证.实验结果表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法.