INFO:
Splitting on Demand in Satisfiability Modulo Theories - Microsoft Research