@inproceedings{BiereKauersRitirc-DATE18,
  author    = {Daniela Ritirc and
               Armin Biere and
               Manuel Kauers},
  title     = {Improving and extending the algebraic approach for verifying gate-level
               multipliers},
  booktitle = {{DATE}},
  pages     = {1556--1561},
  publisher = {{IEEE}},
  year      = {2018}
}