Bitwuzla
From MaRDI portal
Publication:6535525
Recommendations
Cites work
- scientific article; zbMATH DE number 5613976 (Why is no real title available?)
- scientific article; zbMATH DE number 1033831 (Why is no real title available?)
- scientific article; zbMATH DE number 1903356 (Why is no real title available?)
- A Decision Procedure for Bit-Vectors and Arrays
- Bitwuzla
- Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
- Counterexample-Guided Model Synthesis
- Propagation based local search for bit-precise reasoning
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- The MathSAT5 SMT solver
This page was built for publication: Bitwuzla
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535525)