Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution.

Maher N. Mneimneh Karem A. Sakallah

Published in: SAT (2003)

Keyphrases

directed graph
closed form
iterative procedure
mathematical formulation
labeled graphs
optimal solution
graph matching
optimization procedure
graph theoretic
np complete
random walk
quadratic programming
attributed graphs
max cut