Yukihide Kohira, Atsushi Takahashi. 2-SAT based linear time optimum two-domain clock skew scheduling. In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014. pages 173-178, IEEE, 2014. [doi]
@inproceedings{KohiraT14,
title = {2-SAT based linear time optimum two-domain clock skew scheduling},
author = {Yukihide Kohira and Atsushi Takahashi},
year = {2014},
doi = {10.1109/ASPDAC.2014.6742885},
url = {http://dx.doi.org/10.1109/ASPDAC.2014.6742885},
researchr = {https://researchr.org/publication/KohiraT14},
cites = {0},
citedby = {0},
pages = {173-178},
booktitle = {19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014},
publisher = {IEEE},
}