@inproceedings{Kaufmann-IWSBP20,
  author    = {Daniela Kaufmann},
  title     = {Formal Verification of Integer Multiplier
Circuits using Algebraic Reasoning - A Survey},
  booktitle = {14th International Workshop
on Boolean Problems , {IWSBP} 2020.},
  year      = {2020},
  note      = {To appear.}
}