勒罗伊·周;弗里德里希·斯利沃夫斯基 在QBF中实现统一认证。 (英语) Zbl 07814922号 日志。方法计算。科学。 20,第1号,第14号论文,42页(2024年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{L.Chew}和\textit{F.Slivovsky},Log。方法计算。科学。20,第1号,第14号论文,42页(2024;Zbl 07814922) 全文: 内政部 arXiv公司
Balasubramanian,A.R。;哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金 在无领导的rendez-vous协议中查找断点很容易。 (英语) Zbl 07753362号 日志。方法计算。科学。 19,第4号,第2号文件,第44页(2023).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Balasubramanian}等人,日志。方法计算。科学。19,第4号,第2号论文,44页(2023;Zbl 07753362) 全文: 内政部 arXiv公司
达纳·菲斯曼;哈达尔·弗兰克尔;桑德拉·齐勒斯 推断符号自动机。 (英语) Zbl 07731916号 日志。方法计算。科学。 19,第2号,第5号论文,37页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,《日志》。方法计算。科学。19,第2号,第5号论文,37页(2023;Zbl 07731916) 全文: 内政部 arXiv公司
马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 以阵列理论为模的模型检验的反例引导预测。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,第28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;迪帕克·卡普尔 (mathcal{EUF})中的统一插值:使用DAG表示的算法。 (英语) 兹比尔07566058 日志。方法计算。科学。 18,第2期,第2号论文,24页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,日志。方法计算。科学。18,第2号,第2篇论文,24页(2022;Zbl 07566058) 全文: arXiv公司 链接
杰里米·斯普鲁斯顿 具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 07471666号 日志。方法计算。科学。 17,第4号,第6号论文,35页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},日志。方法计算。科学。17,第4号,第6号论文,35页(2021;Zbl 07471666) 全文: arXiv公司 链接
西迪·穆罕默德·贝拉希;艾哈迈德·博阿贾尼;康斯坦丁埃纳 针对事务因果一致性的稳健性。 (英语) Zbl 1509.68157号 日志。方法计算。科学。 17,第1号,第12号论文,42页(2021年).MSC公司:60年第68季度 64岁以下 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Beillahi}等人,日志。方法计算。科学。17,第1号,第12号论文,42页(2021;Zbl 1509.68157) 全文: 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公司 链接
达纳州安格鲁因;乌迪·博克;达纳·菲斯曼 DFA家族作为\(\omega \)正则语言的接受者。 (英语) Zbl 1398.68291号 日志。方法计算。科学。 14,第1号,第15号论文,21页(2018年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,日志。方法计算。科学。14,第1号,第15号论文,21页(2018;Zbl 1398.68291) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;Ngo、Tuan Phong 用于总存储顺序的加载缓冲语义。 (英语) Zbl 1459.68038号 日志。方法计算。科学。 14,第1号,第9号论文,46页(2018年).MSC公司:68号30 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。方法计算。科学。14,第1号,第9号论文,46页(2018;Zbl 1459.68038) 全文: 内政部 arXiv公司