罗伯特·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;罗伯塔·戈里 用于程序验证的IEEE 754浮点算法的正确近似。 (英语) Zbl 1490.68078号 制约因素 27,编号1-2,29-69(2022)。MSC公司:68纳米30 65克50 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《限制条件》27,编号1--2,29-69(2022;Zbl 1490.68078) 全文: 内政部 arXiv公司
罗伯特·巴格纳拉;卡利埃、马蒂厄;罗伯塔·戈里;阿尔诺·哥特利布 利用二进制浮点表示进行约束传播。 (英语) Zbl 1357.68010号 信息J.计算。 28,第1期,31-46(2016)。MSC公司:2007年7月68日 6504年 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《信息与计算》。28、第1号、第31-46号(2016;Zbl 1357.68010) 全文: 内政部 arXiv公司