Sharing Is Caring: Combination of Theories

DOI10.1007/978-3-642-24364-6_14zbMath1348.68220OpenAlexW1552085079MaRDI QIDQ3172894

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

Mathematics Subject Classification ID

Related Items (5)

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

Uses Software

• Boolector
• Yices
• cvc3
• z3
• MathSAT

Cites Work

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

This page was built for publication: Sharing Is Caring: Combination of Theories