@inproceedings{KaufmannBiere-TACAS21,
  author       = {Daniela Kaufmann and Armin Biere},
  title	       = {{AMulet 2.0} for Verifying Multiplier Circuits},
  editor       = {Groote, Jan Friso and Larsen, Kim Guldstrand},
  booktitle    = {Tools and Algorithms for the Construction and
                  Analysis of Systems - 27th International Conference,
                  {TACAS} 2021, Held as Part of the European Joint
                  Conferences on Theory and Practice of Software,
                  {ETAPS} 2021, Luxembourg City, Luxembourg, March 27
                  - April 1, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12652},
  pages	       = {357--364},
  publisher    = {Springer},
  year	       = {2021},
  doi	       = {10.1007/978-3-030-72013-1\_19},
}