A logic partitioning procedure by interchanging clusters. - Tadakatsu Ishiga; Tokinori Kozawa; Shoji Sato (DAC, 1975)