An Efficient Heuristic Procedure for Partitioning Graphs | Synapse