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

Daniela Kaufmann, Armin Biere. Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra. STTT, 25(2):133-144, April 2023. [doi]

Authors

Daniela Kaufmann

This author has not been identified. Look up 'Daniela Kaufmann' in Google

Armin Biere

This author has not been identified. Look up 'Armin Biere' in Google