Zverovich, Vadim, "Graph-theoretic problems and the computer system GraphLab", ,