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

Maher N. Mneimneh, Karem A. Sakallah

Browse the full SAT paper archive.