Satisfiability-Based Layout Revisited: Routing Complex FPGAs Via Search-Based Boolean (1999)

by G Nam, K A Sakallah, R A Rutenbar
Venue:SAT”, Proc. Intn’l. Symp. on FPGAs