The SAT-based Approach to Separation Logic.

Alessandro Armando Claudio Castellini Enrico Giunchiglia Marco Maratea

Published in: J. Autom. Reason. (2005)

Keyphrases

satisfiability problem
sat solvers
logic programming
multi valued
digital circuits
search algorithm
modal logic
classical logic
computational properties
boolean satisfiability
orders of magnitude
phase transition
linear logic
sat solving
proof theory