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]

Authors

Kenshu Seto

This author has not been identified. Look up 'Kenshu Seto' in Google

Yuta Nonaka

This author has not been identified. Look up 'Yuta Nonaka' in Google

Takuya Maruizumi

This author has not been identified. Look up 'Takuya Maruizumi' in Google

Yasuhiro Shiraki

This author has not been identified. Look up 'Yasuhiro Shiraki' in Google