@STRING{iccad	= {International Conference on Computer-Aided Design} }
@inproceedings{MGD:2018b,
  author    = {Alireza Mahzoon and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{PolyCleaner:} Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers},
  booktitle = iccad,
  pages     = {129:1--129:8},
  year      = {2018},
  mycomment     = {{\bf (Best Paper Award)}}
}