Login / Signup
Parameterized Complexity of Graph Constraint Logic.
Tom C. van der Zanden
Published in:
CoRR (2015)
Keyphrases
</>
parameterized complexity
global constraints
graph theory
graph structure
structured data
fixed parameter tractable
logic programming
np complete
connected components
weighted graph
automated reasoning
bounded treewidth
random walk
modal logic
graph theoretic
symmetry breaking