Even Faster Conflicts and Lazier Reductions for String Solvers.

Andres Ntzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli

Browse the full CAV paper archive.