A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.

Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli

Browse the full CAV paper archive.