亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;基里尔·安东诺夫 基于(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格式引用 \textit{A.Semenov}等人,Lect。注释计算。科学。12755111-124(2021年;Zbl 1487.90483) 全文: 内政部
伊利亚·奥特普申尼科夫。;亚历山大·塞梅诺夫。 使用基于合并变量的局部搜索来解决MaxSAT问题的特殊变量。 (英语) Zbl 1460.90155号 Kochetov,Yury(编辑)等人,《数学优化理论和运筹学》。第19届国际会议,2020年7月6日至10日,俄罗斯新西伯利亚,MOTOR 2020。修订了选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1275, 363-378 (2020).MSC公司:90C27型 2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Otpuschennikov}和\textit{A.A.Semenov},Commun。计算。信息科学。1275363-378(2020;Zbl 1460.90155) 全文: 内政部