bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR

DOI10.1007/978-3-642-38574-2_32zbMath1382.68217OpenAlexW117910965MaRDI QIDQ4928459

Andreas Fröhlich, Gergely Kovásznai, Armin Biere

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_32

Mathematics Subject Classification ID

Related Items (3)

Complexity of fixed-size bit-vector logics ⋮ bv2epr ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1

Uses Software

• SMT-LIB

This page was built for publication: bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR