Bitwuzla

DOI10.1007/978-3-031-37703-7_1zbMath1545.68123MaRDI QIDQ6535525

Mathias Preiner, Aina Niemetz

Publication date: 12 January 2024

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Bitwuzla

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propagation based local search for bit-precise reasoning
• Counterexample-Guided Model Synthesis
• Solving SAT and SAT Modulo Theories
• Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
• The MathSAT5 SMT Solver
• A Decision Procedure for Bit-Vectors and Arrays
• Bitwuzla

This page was built for publication: Bitwuzla