亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 将离散函数的算法描述转换为SAT,并应用于密码分析问题。 (英语) Zbl 1528.94079号 日志。方法计算。科学。 16,第1号,第29号论文,42页(2020年).MSC公司:94A60型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Semenov}等人,日志。方法计算。科学。16,第1号,第29号文件,第42页(2020年;兹bl 1528.94079) 全文: arXiv公司 链接
贾尼契奇,普雷德拉格 URSA:统一降为SAT的系统。 (英语) Zbl 1248.68456号 日志。方法计算。科学。 8,第3号,第30号论文,39页(2012).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić},日志。方法计算。科学。8,第3号,第30号论文,39页(2012;Zbl 1248.68456) 全文: DOI程序 arXiv公司