Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
From MaRDI portal
Publication:5387828
DOI10.1007/11591191_3zbMath1143.68579OpenAlexW1561147151MaRDI QIDQ5387828
Robert Nieuwenhuis, Albert Oliveras
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Conflict Resolution ⋮ BarcelogicTools ⋮ EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas ⋮ Labelled splitting ⋮ Combining Equational Reasoning ⋮ Flexible proof production in an industrial-strength SMT solver
Uses Software
This page was built for publication: Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools
