@inproceedings{RitircBiereKauers-FMCAD17,
  author    = {Daniela Ritirc and
               Armin Biere and
               Manuel Kauers},
  editor    = {Daryl Stewart and
               Georg Weissenbacher},
  title     = {Column-Wise Verification of Multipliers Using Computer Algebra},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 02-06, 2017.},
  pages     = {23--30},
  publisher = {{IEEE}},
  year      = {2017},
}
}