Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
Abstract elided by the publisher.
Related papers
- Matching Multiplications in Bit-Vector Formulas VMCAI 2017
- Scalable Bit-Blasting with Abstractions CAV 2024
- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays TACAS 2009
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Bitwuzla CAV 2023
- Improving Haskell types with SMT Haskell 2015
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021