Lower bounds and exact algorithms for the graph partitioning problem using multicommodity flows / von Norbert Sensen