Daniela Kaufmann, Armin Biere, Manuel Kauers. Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods in System Design, 56(1):22-54, 2020. [doi]
@article{KaufmannBK20-0, title = {Incremental column-wise verification of arithmetic circuits using computer algebra}, author = {Daniela Kaufmann and Armin Biere and Manuel Kauers}, year = {2020}, doi = {10.1007/s10703-018-00329-2}, url = {https://doi.org/10.1007/s10703-018-00329-2}, researchr = {https://researchr.org/publication/KaufmannBK20-0}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {56}, number = {1}, pages = {22-54}, }