Bit-Precise Reasoning with Parametric Bit-Vectors.

Zvika Berger, Yoni Zohar, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full SAT paper archive.