{"_id":"LHiPLLJJvn8sm9CEJ","bibbaseid":"mneimneh-sakallah-computingvertexeccentricityinexponentiallylargegraphsqbfformulationandsolution-2003","author_short":["Mneimneh, M.","Sakallah, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Mneimneh"],"firstnames":["Maher"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem"],"suffixes":[]}],"title":"Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution","booktitle":"Sixth International Conference on Theory and Applications of Satisfiability Testing","address":"Portofino, Italy","pages":"356-369","month":"May","year":"2003","bibtex":"@inproceedings{mneimneh2003computing,\n author = {Mneimneh, Maher and Sakallah, Karem},\n title = {{Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution}},\n booktitle = {Sixth International Conference on Theory and Applications of Satisfiability Testing},\n address = {Portofino, Italy},\n pages = {356-369},\n month = {May},\n year = {2003}\n\n}\n\n","author_short":["Mneimneh, M.","Sakallah, K."],"key":"mneimneh2003computing","id":"mneimneh2003computing","bibbaseid":"mneimneh-sakallah-computingvertexeccentricityinexponentiallylargegraphsqbfformulationandsolution-2003","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["computing","vertex","eccentricity","exponentially","large","graphs","qbf","formulation","solution","mneimneh","sakallah"],"title":"Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution","year":2003}