bv2epr

swMATH7142MaRDI QIDQ19197

No author found.

Described by source

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

Related Items (6)

SAT-Based Model Checking ⋮ Complexity of fixed-size bit-vector logics ⋮ Ranking function synthesis for bit-vector relations ⋮ More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding ⋮ Colors Make Theories Hard ⋮ Deciding Bit-Vector Formulas with mcSAT

This page was built for software: bv2epr