O.S.扎金。;科切马佐夫,S.E。 关于分治SAT求解中的黑盒优化。 (英语) Zbl 1494.90051号 最佳方案。方法软件。 36,第4号,672-696(2021).MSC公司:2009年9月90日 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Zaikin}和\textit{S.E.Kochemazov},Optim。方法软件。36,编号4,672--696(2021;Zbl 1494.90051) 全文: 内政部
亚历山大·塞梅诺夫;奥列格·扎金;斯蒂芬·科切马佐夫 通过黑盒优化找到有效的SAT分区。 (英语) Zbl 07404592号 Pardalos,Panos M.(编辑)等人,黑箱优化,机器学习和无自由午餐定理。查姆:斯普林格。Springer Optim公司。申请。170, 319-355 (2021).MSC公司:68T05型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Semenov}等人,Springer Optim。申请。170、319--355(2021;Zbl 07404592) 全文: 内政部