贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·达文波特。;英格兰,马修 单个圆柱形代数单元的水平构造。 (英语) Zbl 07799840号 J.塞姆。计算。 123,文章ID 102288,44 p.(2024).MSC公司:68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人,J.Symb。计算。123,文章ID 102288,44 p.(2024;Zbl 07799840) 全文: 内政部 arXiv公司
Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;穆勒,诺伯特·瑟。 ksmt演算是一个针对非线性约束的完整决策过程。 (英语) 兹伯利07741110 西奥。计算。科学。 975,文章ID 114125,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Brauße}等人,Theor。计算。科学。975,文章ID 114125,16 p.(2023;Zbl 07741110) 全文: 内政部
马凯·曼;艾哈迈德·埃尔凡;阿尔贝托·格里乔;奥德·帕顿;克拉克·巴雷特 模型检验的反例指导预言模数为数组理论。 (英语) Zbl 07596574号 日志。方法计算。科学。 18,第3号,第26号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Mann}等人,《日志》。方法计算。科学。18,第3号,第26号论文,28页(2022;Zbl 07596574) 全文: 内政部 arXiv公司
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) Zbl 1484.13058号 数学。计算。科学。 15,第3期,499-534(2021). 审核人:哈米德·拉科伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499–534(2021;兹bl 1484.13058) 全文: 内政部 arXiv公司
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 使用带有触发器的公理向SMT求解器添加决策过程。 (英语) 兹比尔1356.68187 J.汽车。推理 56,第4期,387-457(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,J.Autom。推理56,No.4,387--457(2016;Zbl 1356.68187) 全文: 内政部 哈尔
张汉涛 满意度模SAT的实验。 (英语) Zbl 1356.68208号 J.汽车。推理 56,第2期,143-154(2016).MSC公司:68吨15 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang},J.Autom。推理56,No.2,143--154(2016;Zbl 1356.68208) 全文: 内政部
兹沃尼米尔,帕夫利诺维奇;金,蒂姆;托马斯·怀斯 实用的基于SMT的类型错误定位。 (英语) Zbl 1360.68351号 2015年9月1日至3日,加拿大温哥华,ICFP’15,第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。412-423 (2015).MSC公司:68N20型 68甲18 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Pavlinovic}等人,in:第20届ACM SIGPLAN函数编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)。412--423(2015年;Zbl 1360.68351) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决具有不确定性的时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 1314.90043) 全文: 内政部
阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证检查。 (英语) Zbl 1284.68521号 形式方法系统。设计。 42,第1期,91-118(2013).MSC公司:68吨15 68T20型 03B35型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}等人,《形式方法系统》。设计。42,第1号,91--118(2013;Zbl 1284.68521) 全文: 内政部
周敏(Zhou,Min);他,费;王,弯腰;顾,明;孙家光 DPLL(T)+证书的统一框架。 (英语) Zbl 1267.68146号 J.应用。数学。 2013年,文章ID 964682,13 p.(2013).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zhou}等人,J.Appl。数学。2013年,文章ID 964682,13 p.(2013;Zbl 1267.68146) 全文: 内政部
李,李;何开多;顾,明;宋晓宇 线性算术约束的等式检测。 (英语) Zbl 1237.91075号 浙江科技大学学报。A类 第10期,第12期,1784-1789(2009).MSC公司:91磅06 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人,浙江大学学报,科学版。A 10,第12号,1784-1789(2009;Zbl 1237.91075) 全文: 内政部