An Efficient Heuristic Procedure for Partitioning Graphs | AMiner