O.S.扎金。;科切马佐夫，S.E。 关于分治SAT求解中的黑盒优化。 （英语） Zbl 1494.90051号 最佳方案。方法软件。 36，第4号，672-696（2021）.MSC公司：90C09型 PDF格式BibTeX公司 XML格式引用 \textit{O.S.Zaikin}和\textit{S.E.Kochemazov}，Optim。方法软件。36，编号4，672--696（2021；Zbl 1494.90051） 全文： 内政部
亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 将离散函数的算法描述转换为SAT，并应用于密码分析问题。 （英语） Zbl 1528.94079号 日志。计算方法。科学。 16，第1号，第29号论文，42页（2020年）.MSC公司：94A60型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Semenov}等人，日志。计算方法。科学。16，第1号，第29号论文，42页（2020；Zbl 1528.94079） 全文： arXiv公司 链接
亚历山大·塞梅诺夫;奥列格·扎金;德米特里·贝斯帕洛夫;米哈伊尔·波西普金 BNB网格系统中生成器A5/1的并行逻辑密码分析。 （英语） Zbl 1335.94078号 Victor Malyshkin（编辑），《并行计算技术》。2011年9月19日至23日，俄罗斯喀山，2011年第11届国际会议，PaCT。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23177-3/pbk）。计算机科学课堂讲稿6873473-483（2011）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式 全文： 内政部