"PolyCleaner: Clean Your Polynomials Before Backward Rewriting to Verify Million-Gate Multipliers" 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)