The following publications are possibly variants of this publication:
- Polynomial Formal Verification of Approximate AddersMartha Schnieber, Saman Fröhlich, Rolf Drechsler. dsd 2022: 761-768 [doi]
- Polynomial Formal Verification of MultipliersMartin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor. vts 1997: 150-157 [doi]
- Polynomial Formal Verification of MultipliersMartin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor. fmsd, 22(1):39-58, 2003.