: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into.
['Gergely Kovásznai', 'Andreas Fröhlich', 'Armin Biere']
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into.