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