Pei-Yung Hsiao, Guang-Ming Wu and Jeong-Yuan Su "MPT-based Branch-and-bound Strategy for Scheduling Problem in High-level-synthesis, " IEE Proceedings-E Computers and Digital Techniques, Vol.145, No.6, Nov. 1998. (SCI)