SAT-based resource binding for reducing critical path delays

Kenshu Seto, Yuta Nonaka, Takuya Maruizumi, Yasuhiro Shiraki. SAT-based resource binding for reducing critical path delays. In FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008. pages 507-510, IEEE, 2008. [doi]

Abstract

Abstract is missing.