Towards Bit-Width-Independent Proofs in SMT Solvers.

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

Browse the full CADE paper archive.