scientific article; zbMATH DE number 2090300
From MaRDI portal
Publication:4809056
zbMath1072.68562MaRDI QIDQ4809056
Artur Korniłowicz, Roberto Sebastiani, Gilles Audemard, Alessandro Cimatti, Piergiorgio Bertoli
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920195.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 (16)
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ⋮ Satisfiability Modulo Theories ⋮ Generalizing DPLL and satisfiability for equalities ⋮ The SAT-based approach to separation logic ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Fast congruence closure and extensions ⋮ SAT Modulo Graphs: Acyclicity ⋮ HySAT: An efficient proof engine for bounded model checking of hybrid systems ⋮ Preface to the special issue ``SI: satisfiability modulo theories ⋮ Building small equality graphs for deciding equality logic with uninterpreted functions ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ An approach for extracting a small unsatisfiable core ⋮ A framework for satisfiability modulo theories ⋮ Combining Equational Reasoning ⋮ Bounded Model Checking with Parametric Data Structures
This page was built for publication:
