@inproceedings{KaufmannBeameBiereNordstrom-DATE22,
  author       = {Daniela Kaufmann and
                  Paul Beame and
                  Armin Biere and
                  Jakob Nordstr{\"{o}}m},
  editor       = {Cristiana Bolchini and
                  Ingrid Verbauwhede and
                  Ioana Vatajelu},
  title        = {Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier
                  Verification},
  booktitle    = {2022 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
  pages        = {1431--1436},
  publisher    = {{IEEE}},
  year         = {2022},
  doi          = {10.23919/DATE54114.2022.9774587},
}