scientific article; zbMATH DE number 1903356
From MaRDI portal
Publication:4804899
zbMath1010.68531MaRDI QIDQ4804899
Aaron Stump, Clark Barrett, David L. Dill
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040236.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 (18)
Interpolation systems for ground proofs in automated deduction: a survey ⋮ Strategies for combining decision procedures ⋮ Satisfiability Modulo Theories ⋮ Knuth-Bendix completion of theories of commuting group endomorphisms ⋮ Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) ⋮ Answer set programming based on propositional satisfiability ⋮ Fast congruence closure and extensions ⋮ HySAT: An efficient proof engine for bounded model checking of hybrid systems ⋮ Synchronous counting and computational algorithm design ⋮ An instantiation scheme for satisfiability modulo theories ⋮ Preface to the special issue ``SI: satisfiability modulo theories ⋮ Complexity-sensitive decision procedures for abstract argumentation ⋮ Abstraction-Based Algorithm for 2QBF ⋮ Unnamed Item ⋮ Variant-Based Satisfiability in Initial Algebras ⋮ Theory decision by decomposition ⋮ Rewrite-Based Decision Procedures ⋮ Solving QBF with counterexample guided refinement
Uses Software
This page was built for publication:
