A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We propose a novel Separation Logic Solver SDSAT that combines the strengths of both these approaches and provides a robust performance over a wide set of benchmarks. ... This phase is similar to previous small domain encoding approaches, but uses a novel algorithm Nu-SMOD with 1-2 orders of magnitude improvement in performance and smaller ranges for variables. ... SDSAT: Integrating Small Domain and Lazy Approaches We propose a Separation Logic Solver SDSAT as shown in Figure 2 , that combines the strengths of both eager (small domain encoding) and lazy approaches ...doi:10.1007/11691372_9 fatcat:be7wqhwrujbxfhlcian67r3dgm