改进和扩展代数验证方法门级乘数

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

丹尼尔·里蒂尔克（Daniela Ritirc）、阿明·比埃尔（Armin Biere）、曼努埃尔·考尔斯（Manuel Kauers）。改善以及扩展验证门级的代数方法乘数。出现在设计、自动化和测试欧洲（日期'18），IEEE 2018。
[纸张|围巾|实验]

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