2-SAT Based Linear Time Optimum Two-Domain Clock Skew Scheduling in General-Synchronous Framework

Yukihide Kohira, Atsushi Takahashi 0001. 2-SAT Based Linear Time Optimum Two-Domain Clock Skew Scheduling in General-Synchronous Framework. IEICE Transactions, 97-A(12):2459-2466, 2014. [doi]

Abstract

Abstract is missing.