Verifying Large Multipliers by Combining SAT and Computer Algebra.

Daniela Kaufmann, Armin Biere, Manuel Kauers

Browse the full FMCAD paper archive.