Clock buffer polarity assignment under useful skew constraints. - Joo, Deokjin; Kim, Taewhan (Integration: The VLSI Journal, 2017)