大卫·J·皮尔斯。;马克·乌廷;格罗夫斯,林赛 使用Boogie验证Whiley程序。 (英语) Zbl 1512.68059号 J.汽车。推理 66,第4期,747-803(2022).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人,J.Autom。推理66,No.4,747--803(2022;Zbl 1512.68059) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) Zbl 07433026号 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) Zbl 1468.68206号 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,第3期,423-460(2020年;兹bl 1468.68206) 全文: 内政部
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英语) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部