A decision procedure for satisfiability in separation logic with inductive predicates.
James BrotherstonCarsten FuhsJuan Antonio Navarro PérezNikos GorogiannisPublished in: CSL-LICS (2014)
Keyphrases
- decision making
- deductive reasoning
- proof procedure
- propositional logic
- computational properties
- computational complexity
- satisfiability problem
- davis putnam
- bounded model checking
- machine learning
- logic programming
- decision rules
- decision problems
- modal logic
- inductive learning
- decision makers
- symmetry breaking
- classical logic
- multi valued
- theorem proving
- functional programs
- np complete
- recursive programs
- sat problem
- search algorithm
- decision procedures
- horn clauses
- temporal logic
- user defined
- logic programs