雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英文) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,《日志》。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
亚历山大·塞梅诺夫;伊利亚·奥普申尼科夫;伊琳娜·格里巴诺娃;奥列格·扎金;斯蒂芬·科切马佐夫 将离散函数的算法描述转换为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 1405.68318号 日志。方法计算。科学。 14,第4号,第24号论文,29页(2018年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle},日志。方法计算。科学。14,第4号,第24号文件,第29页(2018年;Zbl 1405.68318) 全文: 内政部 arXiv公司
班科维奇,米兰 在存在的情况下求解有限域线性约束都不一样. (英文) Zbl 1405.68320号 日志。方法计算。科学。 12,第3号,第5号论文,28页(2016年).MSC公司:68T20型 68瓦40 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banković},日志。方法计算。科学。12,第3号,第5号论文,28页(2016;Zbl 1405.68320) 全文: 内政部 arXiv公司