Crossmark

Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra

Crossref DOI link: https://doi.org/10.1007/s10009-022-00688-6

Published Online: 2023-01-11

Published Print: 2023-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kaufmann, Daniela https://orcid.org/0000-0002-5645-0292
Biere, Armin https://orcid.org/0000-0001-7170-9242
Funding

Funding for this research was provided by:

TU Wien
License Information

Text and Data Mining valid from 2023-01-11

Version of Record valid from 2023-01-11
More Information

Article History

Accepted: 4 November 2022

First Online: 11 January 2023