A boolean satisfiability-based incremental rerouting approach with application to FPGAs

Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar. A boolean satisfiability-based incremental rerouting approach with application to FPGAs. In DATE. pages 560-565, 2001. [doi]

Authors

Gi-Joon Nam

This author has not been identified. Look up 'Gi-Joon Nam' in Google

Karem A. Sakallah

This author has not been identified. Look up 'Karem A. Sakallah' in Google

Rob A. Rutenbar

This author has not been identified. Look up 'Rob A. Rutenbar' in Google