Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.

Robert Brummayer, Armin Biere

Browse the full TACAS paper archive.