bv2epr

swMATH7142MaRDI QIDQ19197FDOQ19197

Author name not available (Why is that?)

Described by source

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

Cited In (6)

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

This page was built for software: bv2epr