2-SAT based linear time optimum two-domain clock skew scheduling | IEEE Conference Publication | IEEE Xplore