Existential Second-Order Logic over Graphs: Parameterized Complexity.

Max Bannach Florian Chudigiewitsch Till Tantau

Published in: IPEC (2023)

Keyphrases

parameterized complexity
fixed parameter tractable
bounded treewidth
modal logic
logic programming
global constraints
np complete
graph theory
automated reasoning
directed graph
graph theoretic
computational problems
graph structure
symmetry breaking
relational databases
conjunctive queries
np hard