Foundations of satisfiability modulo theories

DOI10.1007/978-3-642-13824-9_6MaRDI QIDQ4931590zbMATH OpenOpenAlexFDO

Authors Cesare Tinelli

Publication date 29 September 2010

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13824-9_6

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• Satisfiability modulo theories
• Satisfiability modulo theories: an appetizer
• A survey of satisfiability modulo theory
• An Abstract Framework for Satisfiability Modulo Theories
• A Tutorial on Satisfiability Modulo Theories

Cited in

(16)

• A framework for satisfiability modulo theories
• Designing theory solvers with extensions
• Proving semantic properties as first-order satisfiability
• A survey of satisfiability modulo theory
• Satisfiability modulo theories
• Satisfiability modulo theories: an appetizer
• On deciding satisfiability by theorem proving with speculative inferences
• Satisfiability checking: theory and applications
• Modal Satisfiability via SMT Solving
• A Tutorial on Satisfiability Modulo Theories
• Challenges in Satisfiability Modulo Theories
• An Abstract Framework for Satisfiability Modulo Theories
• Computer Aided Verification
• A Progressive Simplifier for Satisfiability Modulo Theories
• Reasoning about vectors: satisfiability modulo a theory of sequences
• On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework

This page was built for publication: Foundations of satisfiability modulo theories

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