亚历山大·塞梅诺夫
SPARQL查询
优化列表
2020年–今天
2024 [公元29年] 阿特姆·巴夫连科 , 亚历山大·塞梅诺夫 :
使用异步进化策略中的孤岛模型搜索SAT后门。 欧洲协调委员会 2024 : 1-7 [公元28年] A.安德列夫 , 康斯坦丁·楚哈雷夫 , 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 :
利用元启发式优化求解确定性线性阈值模型下的影响最大化问题。 MIPRO公司 2024 : 19-24 2023 [j5] 亚历山大·塞梅诺夫 , 基里尔·安东诺夫 , 斯蒂芬·科切马佐夫 , 阿尔特姆·帕夫连科 :
代数密码分析中使用线性化集求解多元二次方程。 IEEE接入 11 : 120319-120333 ( 2023 ) [公元27年] 亚历山大·塞梅诺夫 , 丹尼尔·奇维利钦 , 斯蒂芬·科切马佐夫 , 伊布拉金·德日布拉维 :
后门树的概率推广及其在SAT中的应用。 AAAI公司 2023 : 4095-4103 [公元26年] 维克托·孔德拉蒂耶夫 , 伊利亚·奥普申尼科夫 , 亚历山大·塞梅诺夫 :
用析取图加速解决逻辑等价性检查问题。 MIPRO公司 2023 : 1021-1026 [公元25年] 米哈伊尔·斯米尔诺夫 , 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 :
用进化算法研究确定性线性阈值模型下的目标集选择问题。 MIPRO公司 2023 : 1039-1044 [i13] 丹尼尔·奇维利钦 , 阿特姆·巴夫连科 , 亚历山大·塞梅诺夫 :
使用元启发式优化分解硬SAT实例。 CoRR公司 abs/2312.10436 ( 2023 ) 2022 [公元24年] 亚历山大·塞梅诺夫 , 阿特姆·巴夫连科 , 丹尼尔·奇维利钦 , 斯蒂芬·科切马佐夫 :
布尔可满足性中后门的概率推广。 AAAI公司 2022 : 10353-10361 [c23] 阿尔特姆·帕夫连科 , 丹尼尔·奇维利钦 , 亚历山大·塞梅诺夫 :
在布尔可满足性中寻找后门的异步进化算法。 欧洲协调委员会 2022 : 1-8 [i12] 亚历山大·塞梅诺夫 , 康斯坦丁·丘哈列夫 , 埃戈尔·塔拉索夫 , 丹尼尔·奇维利钦 , 维克托·孔德拉蒂耶夫 :
估计用于布尔电路逻辑等价性检查的SAT编码的硬度。 CoRR公司 abs/2210.01484 ( 2022 ) 2021 [公元22年] 亚历山大·塞梅诺夫 , 丹尼尔·奇维利钦 , 阿特姆·巴夫连科 , 伊利亚·奥普申尼科夫 , 弗拉基米尔·乌利扬采夫 , 阿列克谢·伊格纳提耶夫 :
使用进化优化算法评估SAT实例的硬度。 人物配对关系 2021 : 47:1-47:18 【c21】 亚历山大·塞梅诺夫 , 伊利亚·奥普申尼科夫 , 基里尔·安东诺夫 :
基于(1+1)进化算法的变量合并算法及其在MaxSAT问题中的应用。 电动机 2021 : 111-124 2020 【j4】 亚历山大·塞梅诺夫 , 伊利亚·奥普申尼科夫 , 伊琳娜·格里巴诺娃 , 奥列格·扎金 , 斯蒂芬·科切马佐夫 :
离散函数算法描述到SAT的翻译及其在密码分析问题中的应用。 日志。 方法计算。 科学。 16 ( 1 ) ( 2020 ) [公元20年] 斯捷潘·科切马佐夫 , 奥列格·扎金 , 亚历山大·塞梅诺夫 , 维克托·孔德拉蒂耶夫 :
使用重复学习子句加速CDCL推理。 ECAI公司 2020 : 339-346 [第19条] 维克托·孔德拉蒂耶夫 , 伊利亚·奥普申尼科夫 , 亚历山大·塞梅诺夫 :
使用特殊类型的决策图来压缩CDCL SAT解算器生成的冲突数据库。 MIPRO公司 2020 : 1046-1051 [第18条] 伊琳娜·格里巴诺娃 , 亚历山大·塞梅诺夫 :
构造一组完整的MD4哈希函数的弱值。 MIPRO公司 2020 : 1212-1217
2010 – 2019
2019 [第17条] 阿特姆·巴夫连科 , 亚历山大·塞梅诺夫 , 弗拉基米尔·乌利扬采夫 :
代数密码分析中构造基于SAT的攻击的进化计算技术。 EvoApplications公司 2019 : 237-253 [第16条] 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 :
非均匀阈值网络确定性线性阈值模型下时间约束影响最大化问题的计算研究。 MIPRO公司 2019 : 1121-1125 [第15条] 阿特姆·巴夫连科 , 亚历山大·塞梅诺夫 , 弗拉基米尔·乌利扬采夫 , 奥列格·扎金 :
进化黑盒优化的并行框架及其在代数密码分析中的应用。 MIPRO公司 2019 : 1144-1149 [第14条] 德米特里·戈尔巴滕科 , 亚历山大·塞梅诺夫 , 斯蒂芬·科切马佐夫 :
UnProVET:使用显式约束传播构造攻击图。 MIPRO公司 2019 : 1199-1204 [第13条] 亚历山大·塞梅诺夫 :
合并变量:伪布尔优化中的一种搜索技术。 电机(2) 2019 : 86-102 [i11] 亚历山大·塞梅诺夫 :
合并变量:伪布尔优化中的一种搜索技术。 CoRR公司 abs/1908.00751 ( 2019 ) 2018 [第12条] 亚历山大·塞梅诺夫 , 奥列格·扎金 , 伊利亚·奥普申尼科夫 , 斯蒂芬·科切马佐夫 , 阿列克谢·伊格纳提耶夫 :
关于使用后门进行SAT加密攻击。 AAAI公司 2018 : 6641-6648 [第11条] 伊琳娜·格里巴诺娃 , 亚历山大·塞梅诺夫 :
使用自动生成松弛约束来改进39步MD4上的预成像攻击。 MIPRO公司 2018 : 1174-1179 [i10] 伊琳娜·格里巴诺娃 , 亚历山大·塞梅诺夫 :
使用松弛约束的自动生成改进39步MD4的预成像攻击。 CoRR公司 abs/1802.06940 ( 2018 ) [第九章] 亚历山大·塞梅诺夫 , 奥列格·扎金 , 伊利亚·奥普申尼科夫 , 斯蒂芬·科切马佐夫 , 阿列克谢·伊格纳提耶夫 :
关于使用后门进行SAT加密攻击。 CoRR公司 abs/1803.04646 ( 2018 ) [i8] 亚历山大·塞梅诺夫 , 伊利亚·奥普申尼科夫 , 伊琳娜·格里巴诺娃 , 奥列格·扎金 , 斯蒂芬·科切马佐夫 :
离散函数算法描述到SAT的翻译及其在密码分析问题中的应用。 CoRR公司 abs/1805.07239 ( 2018 ) 2017 [c10] 斯蒂芬·科切马佐夫 , 奥列格·扎金 , 亚历山大·塞梅诺夫 :
枚举所有10阶相互正交对角拉丁方的运行时估计。 MIPRO公司 2017 : 1166-1171 【c9】 斯蒂芬·科切马佐夫 , 奥列格·扎金 , 亚历山大·塞梅诺夫 :
提高SAT方法在应用于分析几个离散的集体行为模型时的有效性。 MIPRO公司 2017 : 1172-1177 2016 [j3] 亚历山大·塞梅诺夫 , 伊利亚·奥普申尼科夫 :
在一类决策图上。 自动。 远程。 控制。 77 ( 4 ) : 617-628 ( 2016 ) 【c8】 亚历山大·塞梅诺夫 , 奥列格·扎金 :
SAT分区有效性统计估计的准确性在离散函数反演问题中的应用。 门(补充) 2016 : 261-275 【c7】 伊利亚·奥普申尼科夫 , 亚历山大·塞梅诺夫 , 伊琳娜·格里巴诺娃 , 奥列格·扎金 , 斯蒂芬·科切马佐夫 :
使用TRANSALG系统将加密函数编码到SAT。 ECAI公司 2016 : 1594-1595 【c6】 奥列格·扎金 , 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 :
志愿者计算项目中基于SAT的对角拉丁方系统搜索 SAT@家。 MIPRO公司 2016 : 277-281 【c5】 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 , 奥列格·扎金 :
将求解SAT的参数化算法应用于研究几个离散的集体行为模型。 MIPRO公司 2016 : 1288-1292 【c4】 奥列格·扎金 , 马克西姆·曼祖克 , 斯蒂芬·科切马佐夫 , 伊戈尔·比奇科夫 , 亚历山大·塞梅诺夫 :
包含计算集群空闲资源的基于志愿计算的网格体系结构。 NAA公司 2016 : 769-776 [i7] 伊利亚·奥普申尼科夫 , 亚历山大·塞梅诺夫 , 伊琳娜·格里巴诺娃 , 奥列格·扎金 , 斯蒂芬·科切马佐夫 :
使用Transalg系统将加密函数编码到SAT。 CoRR公司 腹肌/1607.00888 ( 2016 ) 2015 【c3】 亚历山大·塞梅诺夫 , 奥列格·扎金 :
使用蒙特卡罗方法搜索布尔可满足性问题硬变量的划分。 帕克托 2015 : 222-230 [i6] 亚历山大·塞梅诺夫 , 奥列格·扎金 :
使用蒙特卡罗方法搜索布尔可满足性问题硬变量的划分。 CoRR公司 abs/1507.00862 ( 2015 ) 2014 [i5] 伊利亚·奥普申尼科夫 , 亚历山大·塞梅诺夫 , 斯蒂芬·科切马佐夫 :
Transalg:将离散函数的过程描述转换为SAT(工具文件)的工具。 CoRR公司 abs/1405.1544 ( 2014 ) [i4] 斯蒂芬·科切马佐夫 , 亚历山大·塞梅诺夫 :
使用同步布尔网络模拟集体行为的几种现象。 CoRR公司 腹肌/1410.7942 ( 2014 ) [i3] 亚历山大·塞梅诺夫 , 奥列格·扎金 , 伊利亚·奥普申尼科夫 :
使用志愿计算进行基于卫星的加密攻击。 CoRR公司 abs/1411.5433 ( 2014 ) 2013 [i2] 亚历山大·塞梅诺夫 , 奥列格·扎金 :
在分布式计算环境中估计求解SAT的总时间:在 SAT@家 项目。 CoRR公司 abs/1308.0761 ( 2013 ) 2012 [注2] 米哈伊尔·波西普金 , 亚历山大·塞梅诺夫 , 奥列格·扎金 :
使用BOINC桌面网格解决大规模SAT问题。 计算。 科学。 13 ( 1 ) : 25-34 ( 2012 ) 2011 [j1] 亚历山大·塞梅诺夫 , 亚历山大·莫什科夫 , 维克多·N·波日达耶夫 , 亚历山德罗·巴杜奇 , 保罗·马库奥尼 , 伊万·皮皮 :
归一化大气点扩散函数估计与遥感图像恢复。 IEEE传输。 地质科学。 远程。 传感器。 49 ( 7 ) : 2623-2634 ( 2011 ) 【c2】 亚历山大·塞梅诺夫 , 奥列格·扎金 , 德米特里·贝斯帕洛夫 , 米哈伊尔·波西普金 :
BNB-电网中A5/1发电机的并行逻辑密码分析。 帕克托 2011 : 473-483 【c1】 阿列克谢·伊格纳提耶夫 , 亚历山大·塞梅诺夫 :
DPLL+ROBDD推导在某些密码函数反演中的应用。 坐 2011 : 76-89 [i1] 亚历山大·塞梅诺夫 , 奥列格·扎金 , 德米特里·贝斯帕洛夫 , 米哈伊尔·波西普金 :
SAT并行算法在某些离散函数反演问题中的应用。 CoRR公司 abs/1102.3563 ( 2011 )