scientific article; zbMATH DE number 1903355
From MaRDI portal
Publication:4804898
zbMath1010.68168MaRDI QIDQ4804898
Randal E. Bryant, Ofer Strichman, Sanjit A. Seshia
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040209.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (13)
Satisfiability Modulo Theories ⋮ The model evolution calculus as a first-order DPLL method ⋮ The SAT-based approach to separation logic ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Local Search For Satisfiability Modulo Integer Arithmetic Theories ⋮ Efficient theory combination via Boolean search ⋮ A Term Rewriting Technique for Decision Graphs ⋮ Zero, successor and equality in BDDs ⋮ Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates ⋮ Exploiting Symmetry in SMT Problems ⋮ A framework for satisfiability modulo theories ⋮ Combining Instance Generation and Resolution ⋮ SMELS: satisfiability modulo equality with lazy superposition
This page was built for publication:
