用计算机代数验证乘数

该网站提供了一组扩展的实验2017年FMCAD中使用的数据、源代码、基准和脚本纸张。

纸类

丹尼尔·里蒂尔克（Daniela Ritirc）、阿明·比埃尔（Armin Biere）、曼努埃尔·考尔斯（Manuel Kauers）。纵列式乘数的计算机代数验证.英寸程序。第17届国际会议。关于中的形式方法计算机辅助设计（FMCAD’17），第23-30页，IEEE 2017。
[纸张|围巾|实验|图片]

实验

[RitircBiereKauers-FMCAD17-data.tar.xz酒店]

除了我们实验中使用的基准之外，我们还包括我们在相关工作中为其他乘数推导的AIG在论文中。