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

Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar

Browse the full DATE paper archive.