A framework for satisfiability modulo theories
From MaRDI portal
Publication:1037239
DOI10.1007/S00165-009-0105-ZzbMATH Open1192.68647OpenAlexW2009348615MaRDI QIDQ1037239FDOQ1037239
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Splitting on Demand in SAT Modulo Theories
- Computer Aided Verification
- Computer Aided Verification
- Theorem proving using lazy proof explication.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (12)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- Computer Aided Verification
- Encoding first order proofs in SMT
- An experiment with satisfiability modulo SAT
- A subset-matching size-bounded cache for testing satisfiability in modal logics
- Lazy satisfiability modulo theories
- Reasoning about vectors: satisfiability modulo a theory of sequences
- An Abstract Framework for Satisfiability Modulo Theories
- A Progressive Simplifier for Satisfiability Modulo Theories
- Modal Satisfiability via SMT Solving
- Title not available (Why is that?)
- Decidability Results for Saturation-Based Model Building
Uses Software
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)
