FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits.

Alexander Konrad, Christoph Scholl

Browse the full FMCAD paper archive.