Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.

Chao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta

Browse the full LPAR paper archive.