斯蒂芬·科切马佐夫;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 通过增量SAT镜头评估SAT求解器的进展。 （英语） Zbl 07495580号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 280-298 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kochemazov}等人，Lect。注释计算。科学。12831280-298（2021；Zbl 07495580） 全文： DOI程序
斯蒂芬·科切马佐夫 改进2017-2019年SAT竞赛优胜者的实施。 （英语） Zbl 07331018号 Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 139-148 (2020).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kochemazov}，莱克特。注释计算。科学。12178，139--148（2020；Zbl 07331018） 全文： DOI程序
亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 将离散函数的算法描述转换为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公司 链接
奥列格·扎金;马克西姆·曼祖克;斯蒂芬·科切马佐夫;伊戈尔·比奇科夫;亚历山大·塞梅诺夫 基于自愿计算的网格体系结构，包含计算集群的空闲资源。 （英语） Zbl 1390.68054号 Dimov，Ivan（编辑）等人，《数值分析及其应用》。第六届国际会议，NAA 2016，保加利亚洛泽内茨，2016年6月15-22日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-57098-3/pbk；978-3-3169-57099-0/电子书）。计算机科学课堂讲稿10187，769-776（2017）。MSC公司：2007年8月 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛O.Zaikin｝等人，Lect。注释计算。科学。10187769--776（2017；Zbl 1390.68054） 全文： DOI程序