Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
复制标题
使用切割平面推理验证位向量乘法的性质
DOI：
10.34727/2020/isbn.978-3-85448-042-6_27
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Nordström, Jakob
中科院分区：
文献类型：
--
作者：
Liew, Vincent;Beame, Paul;Devriendt, Jo;Elffers, Jan;Nordström, Jakob
登录
查看更多内容
影响因子：
2.5
作者：
Beame, Paul;Liew, Vincent
通讯作者：
Liew, Vincent
SMT在微码符号执行中的应用
DOI：
--
发表时间：
2010
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Anders Franzén;A. Cimatti;Alexander Nadel;R. Sebastiani;Jonathan Shalev
通讯作者：
Jonathan Shalev
DOI：
10.1515/itit-2022-0039
发表时间：
2022-06
期刊：
it - Information Technology
影响因子：
--
作者：
Daniela Kaufmann
通讯作者：
Daniela Kaufmann
DOI：
10.1109/tcad.2017.2772854
发表时间：
2018
影响因子：
2.9
作者：
Cunxi Yu;M. Ciesielski;A. Mishchenko
通讯作者：
A. Mishchenko
改进和扩展验证门级乘法器的代数方法
DOI：
--
发表时间：
2018
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
Daniela Ritirc;Armin Biere;Manuel Kauers
通讯作者：
Manuel Kauers