Partitioning and decomposition in combinatorial optimization (Elsevier, 1995)