Corolla based circuit partitioning and resynthesis
Conference proceedings on 27th ACM/IEEE design automation conference - DAC ’90
Gershon Kedem
Franc Brglez
Integer linear programming-based synthesis of skewed logic circuits