Mathias Preiner. Challenges in Bit-Vector Reasoning. In Giles Reger, Yoni Zohar, editors, Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024. Volume 3725 of CEUR Workshop Proceedings, pages 2, CEUR-WS.org, 2024. [doi]
Abstract is missing.