Splitting on Demand in SAT Modulo Theories | Publicación