Bit-Precise Interpolation in Bitwuzla
Open Access
- 16 April 2026
- book chapter
- Published by Springer Nature
- p. 66-88
Abstract
No abstract availableThis publication has 38 references indexed in Scilit:
- Revisiting DRUP-Based Interpolants with CaDiCaL 2.02025
- Scalable Bit-Blasting with Abstractions2024
- CaDiCaL 2.02024
- Bitwuzla2023
- cvc5: A Versatile and Industrial-Strength SMT Solver2022
- Pono: A Flexible and Extensible SMT-Based Model Checker2021
- Solving Bitvectors with MCSAT: Explanations from Bits and Pieces2020
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic2020
- SMT-Based Model Checking for Recursive Programs2014
- Counterexample-Guided Abstraction Refinement2000