STP: A decision procedure for bitvectors and arrays (0)

by V Ganesh, D Dill
Venue:CAV 2007