https://123dok.net/document/zkwo9v1z-pt-scotch-a-tool-for-efficient-parallel-graph-ordering.html