@STRING{isvlsi	= {IEEE Annual Symposium on VLSI} }
@inproceedings{MGD:2018,
  author    = {Alireza Mahzoon and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers},
  booktitle = isvlsi,
  pages     = {351--356},
  year      = {2018}
}