Theory combination: beyond equality sharing
From MaRDI portal
Publication:2185458
Recommendations
- Satisfiability modulo theories and assignments
- Unions of non-disjoint theories and combinations of satisfiability procedures
- Combination of disjoint theories: beyond decidability
- scientific article; zbMATH DE number 3898849
- Conflict-driven satisfiability for theory combination: transition system and completeness
Cited in
(16)- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
- Combining satisfiability procedures for unions of theories with a shared counting operator
- scientific article; zbMATH DE number 2090060 (Why is no real title available?)
- Satisfiability modulo theories and assignments
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
- Combining theories with shared set operations
- Unions of non-disjoint theories and combinations of satisfiability procedures
- scientific article; zbMATH DE number 3898849 (Why is no real title available?)
- Conflict-driven satisfiability for theory combination: transition system and completeness
- Combination of disjoint theories: beyond decidability
- Efficient theory combination via Boolean search
- Politeness for the theory of algebraic datatypes
- Sharing is caring: combination of theories
- Being careful about theory combination
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Polite combination of algebraic datatypes
This page was built for publication: Theory combination: beyond equality sharing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2185458)