×

找到2个文档(结果1-2)

基于(1+1)进化算法的合并变量的一些变体及其在MaxSAT问题中的应用。 (英语) Zbl 1487.90483号

Pardalos,Panos(编辑)等人,《数学优化理论与运筹学》。2021年7月5日至10日在俄罗斯伊尔库茨克举行的第20届MOTOR 2021国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12755, 111-124 (2021).
MSC公司:90立方厘米 90 C59
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量。 (英语) Zbl 1460.90155号

Kochetov,Yury(编辑)等人,《数学优化理论和运筹学》。第19届国际会议,2020年7月6日至10日,俄罗斯新西伯利亚,MOTOR 2020。修订了选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1275, 363-378 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段

全部的 前3名

软件