Daniela Ritirc, Armin Biere, Manuel Kauers. Improving and extending the algebraic approach for verifying gate-level multipliers. In 2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018. pages 1556-1561, IEEE, 2018. [doi]
Abstract is missing.