An Alternative to SAT-Based Approaches for Bit-Vectors
Abstract elided by the publisher.
Related papers
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- Matching Multiplications in Bit-Vector Formulas VMCAI 2017
- BFF: foundational and automated verification of bitfield-manipulating programs OOPSLA 2022
- A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors CAV 2014
- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories TACAS 2024
- Solving Quantified Bit-Vectors Using Invertibility Conditions CAV 2018