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)

• Deciding Bit-Vector Formulas with mcSAT
• Colors Make Theories Hard
• Ranking function synthesis for bit-vector relations
• 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