Splitting on demand in SAT Modulo Theories (2006)

by Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
Venue:In LPAR 2006