Sharing is caring: combination of theories

DOI10.1007/978-3-642-24364-6_14MaRDI QIDQ3172894zbMATH OpenOpenAlexFDO

Authors Dejan Jovanović, Clark Barrett

Publication date 7 October 2011

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24364-6_14

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combined logics (03B62)

Recommendations

• Being careful about theory combination
• Model-based theory combination
• scientific article; zbMATH DE number 1140674
• Combining decision procedures.
• Theory combination: beyond equality sharing

Cites work

• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1140674 (Why is no real title available?)
• Complexity, convexity and combinations of theories
• Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
• Efficient theory combination via Boolean search
• Frontiers of Combining Systems
• Logics in Artificial Intelligence
• Model-based theory combination
• Polite theories revisited
• Sharing is caring: combination of theories
• Simplification by Cooperating Decision Procedures
• Splitting on Demand in SAT Modulo Theories

Cited in

(5)

• Being careful about theory combination
• Conflict-driven satisfiability for theory combination: transition system and completeness
• Sharing is caring: combination of theories
• A decision procedure for (co)datatypes in SMT solvers
• A decision procedure for (co)datatypes in SMT solvers

Describes a project that uses

Uses Software

• MathSAT
• z3
• cvc3
• Yices
• Boolector

This page was built for publication: Sharing is caring: combination of theories

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