Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.

Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters

Browse the full LPAR paper archive.