Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.

Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia

Browse the full CAV paper archive.