Being careful about theory combination

DOI10.1007/s10703-012-0159-zzbMath1284.68518OpenAlexW2058903513MaRDI QIDQ2441773

Clark Barrett, Dejan Jovanović

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0159-z

zbMATH Keywords

satisfiability modulo theoriestheory combinationNelson-Oppen

Mathematics Subject Classification ID

Related Items (1)

Constraint solving for finite model finding in SMT solvers

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: Being careful about theory combination