SAT-based resource binding for reducing critical path delays. - Kenshu Seto; Yuta Nonaka; Takuya Maruizumi; Yasuhiro Shiraki (FPL, 2008)