Being careful about theory combination
From MaRDI portal
Publication:2441773
DOI10.1007/s10703-012-0159-zzbMath1284.68518MaRDI 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
Related Items
Uses Software
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