Bit-Precise Reasoning with Parametric Bit-Vectors. - Zvika Berger; Yoni Zohar; Aina Niemetz; Mathias Preiner; Andrew Reynolds 001; Clark W. Barrett; Cesare Tinelli (SAT, 2025)