A Decision Procedure for Separation Logic in SMT.
Andrew ReynoldsRadu IosifTim KingPublished in: CoRR (2016)
Keyphrases
- decision making
- decision makers
- logic programming
- artificial intelligence
- computational properties
- logic programs
- decision problems
- natural deduction
- iterative procedure
- logical framework
- decision process
- modal logic
- expressive power
- information systems
- automated reasoning
- classical logic
- statistical machine translation
- predicate logic
- deontic logic
- asynchronous circuits
- information retrieval