bv2epr

MaRDI QIDQ19197swMATHFDO

Official website http://fmv.jku.at/bv2epr/

Described by source

• bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR

Cited in

(6)

• Ranking function synthesis for bit-vector relations
• Colors Make Theories Hard
• Deciding Bit-Vector Formulas with mcSAT
• SAT-Based Model Checking
• More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding
• Complexity of fixed-size bit-vector logics

This page was built for software: bv2epr