Efficient Satisfiability Modulo Theories via Delayed Theory Combination