Crossmark

Incremental column-wise verification of arithmetic circuits using computer algebra

Published Online: 2019-02-26

Published Print: 2020-12

Authors

Kaufmann, Daniela

Biere, Armin http://orcid.org/0000-0001-7170-9242
Kauers, Manuel
Funding

Funding for this research was provided by:

Austrian Science Fund (NFN S11408-N23 (RiSE), Y464-N18)

Austrian Science Fund (SFB F5004)
License Information

Text and Data Mining valid from 2019-02-26

Version of Record valid from 2019-02-26
More Information

Article History

First Online: 26 February 2019

Document is current