STP: A Decision Procedure for Bit-Vectors and Arrays,” http://theory.stanford.edu/vganesh/stp (2008)

by V Ganesh, D Dill