A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (2003)

by S Seshia, S Lahiri, R Bryant
Venue:In Procs. 40th Design Automation Conference (DAC