Towards Bit-Width-Independent Proofs in SMT Solvers

Publication
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings