Jason Cong, Zhiru Zhang. An efficient and versatile scheduling algorithm based on SDC formulation. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 433-438, ACM, 2006. [doi]
Abstract is missing.