A Comprehensive Analysis of Combination Properties in Satisfiability Modulo Theories

This paper provides a complete characterization of the possible and impossible combinations of properties related to theory combination in Satisfiability Modulo Theories, including the computability of minimal model functions.