The following pages link to Model-based Theory Combination (Q2864402):
Displaying 19 items.
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Being careful about theory combination (Q2441773) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)
- On Interpolation in Decision Procedures (Q3010355) (← links)
- Sets with Cardinality Constraints in Satisfiability Modulo Theories (Q3075499) (← links)
- Sharing Is Caring: Combination of Theories (Q3172894) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
- Ground Interpolation for Combined Theories (Q5191102) (← links)
