scientific article
From MaRDI portal
Publication:3408132
zbMath1273.68326MaRDI QIDQ3408132
Robert Nieuwenhuis, Albert Oliveras
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Generalizing DPLL and satisfiability for equalities ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Efficient theory combination via Boolean search ⋮ EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Rewrite-Based Satisfiability Procedures for Recursive Data Structures
