A Heuristic Procedure for the Partitioning and Mapping of Computer Logic Graphs | Synapse