Efficient Decision Procedures for Heaps Using STRAND.

P. Madhusudan Xiaokang Qiu

Published in: SAS (2011)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
database
machine learning
search algorithm
satisfiability problem
presburger arithmetic