Existential Second-Order Logic Over Graphs: Parameterized Complexity.
Max BannachFlorian ChudigiewitschTill TantauPublished in: CoRR (2023)
Keyphrases
- parameterized complexity
- fixed parameter tractable
- bounded treewidth
- graph theoretic
- logic programming
- automated reasoning
- graph theory
- computational problems
- query answering
- global constraints
- weighted graph
- directed graph
- undirected graph
- search algorithm
- modal logic
- symmetry breaking
- np complete
- np hard
- data model