Sign in
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