Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
复制标题
将双变量添加到代数推理中以进行门级乘法器验证
DOI：
10.23919/date54114.2022.9774587
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Nordstrom, Jakob
中科院分区：
文献类型：
--
作者：
Kaufmann, Daniela;Beame, Paul;Biere Armin;Nordstrom, Jakob
登录
查看更多内容
从 DRUP 到 PAC 并返回
DOI：
10.23919/date48585.2020.9116276
发表时间：
2020
期刊：
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)
影响因子：
--
作者：
Daniela Kaufmann;Armin Biere;Manuel Kauers
通讯作者：
Manuel Kauers
DOI：
10.1515/itit-2022-0039
发表时间：
2022-06
期刊：
it - Information Technology
影响因子：
--
作者：
Daniela Kaufmann
通讯作者：
Daniela Kaufmann
使用 Grobner 基进行等价性检查
DOI：
--
发表时间：
2016
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Amr A. R. Sayed;Daniel Große;Mathias Soeken;R. Drechsler
通讯作者：
R. Drechsler
消极推理的力量
DOI：
10.4230/lipics.ccc.2021.40
发表时间：
2021
期刊：
Proceedings of the 36th Computational Complexity Conference
影响因子：
--
作者：
Susanna F. de Rezende;M. Lauria;Jakob Nordström;Dmitry Sokolov
通讯作者：
Dmitry Sokolov