Daniela Kaufmann, Armin Biere. Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. STTT, 25(2):133-144, April 2023. [doi]
@article{KaufmannB23, title = {Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra}, author = {Daniela Kaufmann and Armin Biere}, year = {2023}, month = {April}, doi = {10.1007/s10009-022-00688-6}, url = {https://doi.org/10.1007/s10009-022-00688-6}, researchr = {https://researchr.org/publication/KaufmannB23}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {25}, number = {2}, pages = {133-144}, }