A Hybrid SAT-Based Decision Procedure for Separation Logic with Uninterpreted Functions. (2003)

by S A Seshia, S K Lahiri, R E Bryant
Venue:In Proc. of DAC’03,