Martin Brain. Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. In Alexander Nadel, Aina Niemetz, editors, Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Volume 2908 of CEUR Workshop Proceedings, pages 23-31, CEUR-WS.org, 2021. [doi]
Abstract is missing.