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

Robert Brummayer, Armin Biere (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics