Approximating Predicate Images for Bit-Vector Logic
Abstract elided by the publisher.
Related papers
- BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability TACAS 2026
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Monadic second-order logic on finite sequences POPL 2017
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Scalable Bit-Blasting with Abstractions CAV 2024
- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories TACAS 2024