比肖克桑·卡夫;格雷姆·恒河;彼得·斯图基(Peter J.Stuckey)。;彼得·沙赫特;哈拉尔德·森德加德 支持转换的前提推理。 (英语) Zbl 07776322号 理论与实践。日志。程序。 21,第6号,700-716(2021).MSC公司:68号30 03B70号 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。21,第6号,700--716(2021;Zbl 07776322) 全文: 内政部 arXiv公司
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。;格雷姆·恒河;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基(Peter J.Stuckey)。 使用约束Horn子句进行前提推理的迭代方法。 (英语) Zbl 1451.68075号 理论与实践。日志。程序。 18,编号3-4553-570(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kafle}等人,《理论与实践》。日志。程序。18、编号3--4、553--570(2018;Zbl 1451.68075) 全文: 内政部 arXiv公司
扬尼克·莫伊;克劳德·马奇 用于安全检查的子程序合同的模块化推理。 (英语) Zbl 1213.68385号 J.塞姆。计算。 45,第11期,1184-1211(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moy}和\textit{C.Marché},J.Symb。计算。45,第11号,1184--1211(2010;Zbl 1213.68385) 全文: 内政部