Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard.
Markus HecherJorge FandinnoPublished in: CoRR (2020)
Keyphrases
- space complexity
- positive and negative
- bounded treewidth
- website
- positively correlated
- search space
- answer set programming
- worst case
- decision problems
- np complete
- boolean functions
- temporal reasoning
- constraint satisfaction
- data sets
- upper bound
- computational cost
- special case
- search algorithm
- information systems
- machine learning