C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modular reasoning about heap paths via effectively propositional formulas.
Shachar Itzhaky
Anindya Banerjee
Neil Immerman
Ori Lahav
Aleksandar Nanevski
Mooly Sagiv
Published in:
POPL (2014)
Keyphrases
</>
knowledge based systems
propositional formulas
knowledge representation
artificial intelligence
propositional logic
data structure
evolutionary algorithm
machine learning
np hard
query expansion
orders of magnitude
heuristic search