亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,编号3,452-481(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
Jean-Marie拉格尼茨;伊曼纽尔·隆卡;皮埃尔·侯爵 模型计数的定义。 (英语) Zbl 1435.68304号 Artif公司。智力。 281,文章ID 103229,32 p.(2020).MSC公司:68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人,Artif。智力。281,文章ID 103229,32 p.(2020;Zbl 1435.68304) 全文: 内政部
安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英语) Zbl 1427.68051号 形式方法系统。设计。 55,第2期,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,编号2,73-102(2019;Zbl 1427.68051) 全文: 内政部
安德鲁·雷诺兹;金,蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 (英语) Zbl 1377.68138号 形式方法系统。设计。 51,第3号,500-532(2017).MSC公司:60年第68季度 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。51,第3号,500--532(2017;Zbl 1377.68138) 全文: 内政部 链接
戴维·莫尼奥 满意度模理论综述。 (英语) Zbl 1453.68116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 401-425 (2016).MSC公司:68兰特 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},莱克特。注释计算。科学。9890401-425(2016;Zbl 1453.68116) 全文: 内政部 arXiv公司