Boolector: An efficient SMT solver for bit-vectors and arrays. (2009)

by R Brummayer, A Biere
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TACAS