Solving Bitvectors with MCSAT: Explanations from Bits and Pieces.

Stphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre

Browse the full CADE paper archive.