Sharing is caring: combination of theories

DOI10.1007/978-3-642-24364-6_14zbMATH Open1348.68220OpenAlexW1552085079MaRDI QIDQ3172894FDOQ3172894

Clark Barrett, Dejan Jovanović

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Complexity, convexity and combinations of theories
• Simplification by Cooperating Decision Procedures
• Title not available (Why is that?)
• Splitting on Demand in SAT Modulo Theories
• Model-based theory combination
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• Efficient theory combination via Boolean search
• Frontiers of Combining Systems
• Polite Theories Revisited
• Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
• Sharing Is Caring: Combination of Theories

Cited In (5)

• Sharing Is Caring: Combination of Theories
• Being careful about theory combination
• Conflict-driven satisfiability for theory combination: transition system and completeness
• A decision procedure for (co)datatypes in SMT solvers
• A Decision Procedure for (Co)datatypes in SMT Solvers

Uses Software

• Boolector
• Yices
• cvc3
• z3
• MathSAT

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)