Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström. Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 194-204, IEEE, 2020. [doi]
Abstract is missing.