Parameterized Complexity of Graph Constraint Logic.

Tom C. van der Zanden

Published in: IPEC (2015)

Keyphrases

parameterized complexity
global constraints
logic programming
graph theory
bounded treewidth
structured data
modal logic
random walk
graph structure
weighted graph
automated reasoning
fixed parameter tractable
description logics
connected components
directed acyclic graph
graph theoretic