Login / Signup
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