@misc{indiciae8bb78dac81f1,
  title = {PolyAdd: Polynomial Formal Verification of Adder Circuits},
  author = {Rolf Drechsler},
  year = {2021},
  url = {https://arxiv.org/abs/2009.03242},
  note = {Source identifier: 2009.03242}
}