Satisfiability-Based Layout Revisited: Detailed Routing of Complex FPGAs vis Search-Based Boolean SAT.

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

Browse the full FPGA paper archive.