Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs.

Krishnendu Chatterjee Rasmus Ibsen-Jensen Andreas Pavlogiannis

Published in: CoRR (2015)

Keyphrases

graph theory
learning algorithm
computational cost
space complexity
highly efficient
worst case
computationally efficient
theoretical analysis
qualitative and quantitative
graph theoretic
graph mining
graph structure
optimization problems
upper bound
computational complexity
data structure
social networks