A Decision Procedure for Separation Logic in SMT.

Andrew Reynolds Radu Iosif Cristina Serban Tim King

Published in: ATVA (2016)

Keyphrases

decision making
proof procedure
decision problems
logic programming
modal logic
classical logic
multi valued
genetic algorithm
artificial intelligence
decision makers
learning algorithm
propositional logic
search procedure
automated reasoning