Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification.

Andrew Reynolds, Maverick Woo, Clark W. Barrett, David Brumley, Tianyi Liang, Cesare Tinelli

Browse the full CAV paper archive.