A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
Abstract elided by the publisher.
Related papers
- Scalable Bit-Blasting with Abstractions CAV 2024
- Solving Quantified Bit-Vectors Using Invertibility Conditions CAV 2018
- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays TACAS 2009
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic CAV 2009
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018
- Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations POPL 2024
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- More Haste, Less Speed: Lazy Versus Eager Evaluation JFP 1997