FPGA routing and routability estimation via Boolean satisfiability. - R. Glenn Wood; Rob A. Rutenbar (IEEE Trans. Very Large Scale Integr. Syst., 1998)