The Tree Width of Separation Logic with Recursive Definitions
Radu IosifAdam RogalewiczJirí SimácekPublished in: CoRR (2013)
Keyphrases
- tree width
- tree decomposition
- structural properties
- relational structures
- constraint networks
- shortest path
- conjunctive queries
- datalog programs
- exact and approximate
- computationally challenging
- parallel processing
- logic programming
- spatial information
- first order logic
- query answering
- knowledge base
- lower and upper bounds
- constraint satisfaction problems