Splitting on Demand in SAT Modulo Theories.

Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli

Browse the full LPAR paper archive.