编辑配置文件（在新选项卡中打开） 斯蒂芬·科切马佐夫 合著者距离 作者ID： 科奇马佐夫·斯泰潘 发布日期： 斯蒂芬·科切马佐夫 外部链接： ORCID公司 已编制索引的文档： 11出版物自2016年起，包括1个附加arXiv预打印 合著者： 11位合著者具有10联合出版物 150位合作作者 全部的 前5名合著者 1 单作者的 9 奥列格·谢尔盖维奇·扎金 3 Aleksandr Anatol’evich塞梅诺夫 3 爱德华·瓦图丁 1 阿列克谢·贝利舍夫 1 伊戈尔·比奇科夫。 1 伊琳娜·格里巴诺娃 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 马克西姆·曼祖克 1 Joáo P.塞尔瓦侯爵。 1 伊利亚·奥特普申尼科夫。 1 朱拉夫列夫，阿列克谢 系列 1 整数序列杂志 1 计算机科学中的逻辑方法 领域 7 计算机科学（68至XX） 3 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次8文件 引用人▼ 年份▼ 将离散函数的算法描述转换为SAT，并应用于密码分析问题。 Zbl 1528.94079号 亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 5 2020 ALIAS：为SAT寻找后门的模块化工具。 Zbl 1511.68318号 斯蒂芬·科切马佐夫;奥列格·扎金 4 2018 用于SAT求解的扩展搜索空间中的黑盒优化。 Zbl 1444.90079号 奥列格·扎金;斯蒂芬·科切马佐夫 3 2019 改进2017-2019年SAT竞赛优胜者的实施。 Zbl 07331018号 斯蒂芬·科切马佐夫 2 2020 关于构造10阶对角拉丁方的三元组。 Zbl 1356.05020号 奥列格·扎金;阿列克谢·朱拉夫列夫;斯蒂芬·科切马佐夫;爱德华·瓦图丁 1 2016 将离散函数的算法描述转换为SAT，并应用于密码分析问题。 Zbl 1528.94079号 亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 5 2020 改进2017-2019年SAT竞赛优胜者的实施。 Zbl 07331018号 斯蒂芬·科切马佐夫 2 2020 用于SAT求解的扩展搜索空间中的黑盒优化。 兹比尔1444.90079 奥列格·扎金;斯蒂芬·科切马佐夫 3 2019 ALIAS：为SAT寻找后门的模块化工具。 Zbl 1511.68318号 斯蒂芬·科切马佐夫;奥列格·扎金 4 2018 关于构造10阶对角拉丁方的三元组。 Zbl 1356.05020号 奥列格·扎金;阿列克谢·朱拉夫列夫;斯蒂芬·科切马佐夫;爱德华·瓦图丁 1 2016 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 4 Aleksandr Anatol’evich塞梅诺夫 4 奥列格·谢尔盖维奇·扎金 3 斯蒂芬·科切马佐夫 3 伊利亚·奥特普申尼科夫。 1 基里尔·安东诺夫 1 阿列克谢·贝利舍夫 1 乔迪·科尔 1 伊琳娜·格里巴诺娃 1 贾马尔·哈贝特 1 何坤 1 科切马佐夫，S.E。 1 李楚敏 1 诺伯特·曼恩 1 很多，费利普 1 爱德华·瓦图丁 1 徐振兴 4篇连载文章中引用 1 人工智能通信 1 优化方法和软件 1 整数序列杂志 1 计算机科学中的逻辑方法 在4个字段中引用 5 计算机科学（68至XX） 5 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文