Satisfiability-Based Layout Revisited: Detailed Routing of Complex FPGAs (1999)

by G Nam, K Sakallah, R Rutenbar
Venue:Via Search-Based Boolean SAT,” Intl’ Symposium on FPGAs