A framework for satisfiability modulo theories

DOI10.1007/S00165-009-0105-ZMaRDI QIDQ1037239zbMATHOpenAlexFDO

Authors Daniel Kroening, Ofer Strichman

Publication date 13 November 2009

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-009-0105-z

zbMATH Keywords

deductive systempropositional logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• An Abstract Framework for Satisfiability Modulo Theories
• Satisfiability modulo theories
• Foundations of satisfiability modulo theories
• A Tutorial on Satisfiability Modulo Theories
• A survey of satisfiability modulo theory
• Satisfiability modulo theories and assignments
• Satisfiability modulo theories: an appetizer
• An instantiation scheme for satisfiability modulo theories
• From Propositional Satisfiability to Satisfiability Modulo Theories
• A Progressive Simplifier for Satisfiability Modulo Theories

Cites work

• scientific article; zbMATH DE number 1670770 (Why is no real title available?)
• scientific article; zbMATH DE number 1979549 (Why is no real title available?)
• scientific article; zbMATH DE number 1798183 (Why is no real title available?)
• scientific article; zbMATH DE number 1931669 (Why is no real title available?)
• scientific article; zbMATH DE number 1852147 (Why is no real title available?)
• scientific article; zbMATH DE number 1903355 (Why is no real title available?)
• scientific article; zbMATH DE number 1903374 (Why is no real title available?)
• scientific article; zbMATH DE number 2090300 (Why is no real title available?)
• scientific article; zbMATH DE number 2102726 (Why is no real title available?)
• Computer Aided Verification
• Computer Aided Verification
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
• Splitting on Demand in SAT Modulo Theories
• Theorem proving using lazy proof explication.

Cited in

(12)

• Lazy satisfiability modulo theories
• An Abstract Framework for Satisfiability Modulo Theories
• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• A subset-matching size-bounded cache for testing satisfiability in modal logics
• An experiment with satisfiability modulo SAT
• Encoding first order proofs in SMT
• A Progressive Simplifier for Satisfiability Modulo Theories
• Decidability Results for Saturation-Based Model Building
• Modal Satisfiability via SMT Solving
• Reasoning about vectors: satisfiability modulo a theory of sequences
• Computer Aided Verification
• scientific article; zbMATH DE number 1612554 (Why is no real title available?)

Describes a project that uses

Uses Software

• SATIRE
• Chaff
• CVC
• ICS

This page was built for publication: A framework for satisfiability modulo theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1037239)