PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers

@inproceedings{pub9867,
    author = {

Mahzoon, Alireza
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers},
    booktitle = {International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2018), November 5-8, San Diego, United States},
    year = {2018}
}