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]

Abstract

Abstract is missing.