An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors
Abstract elided by the publisher.
Related papers
- Scalable Bit-Blasting with Abstractions CAV 2024
- A Decision Procedure for Bit-Vectors and Arrays CAV 2007
- Deciding Fixed and Non-fixed Size Bit-vectors TACAS 1998
- Satisfiability Modulo Finite Fields CAV 2023
- Monadic second-order logic on finite sequences POPL 2017
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Improving Haskell types with SMT Haskell 2015
- Bitwuzla CAV 2023