A scalable decision procedure for fixed-width bit-vectors.

Roberto Bruttomesso, Natasha Sharygina

Browse the full ICCAD paper archive.