@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{SGK+:2016,
  author        = {Amr Sayed-Ahmed and Daniel Gro{\ss}e and Ulrich K\"uhne and Mathias Soeken and Rolf Drechsler},
  title		= {Formal Verification of Integer Multipliers by Combining {Gr\"obner} Basis with Logic Reduction},
  booktitle     = date,
  year		= 2016,
  pages         = {1048--1053},
  mycomment     = {{\bf (Best Paper Candidate)}}
}