R. Glenn Wood, Rob A. Rutenbar. FPGA routing and routability estimation via Boolean satisfiability. IEEE Trans. VLSI Syst., 6(2):222-231, 1998. [doi]
@article{WoodR98, title = {FPGA routing and routability estimation via Boolean satisfiability}, author = {R. Glenn Wood and Rob A. Rutenbar}, year = {1998}, doi = {10.1109/92.678873}, url = {http://doi.ieeecomputersociety.org/10.1109/92.678873}, tags = {routing}, researchr = {https://researchr.org/publication/WoodR98}, cites = {0}, citedby = {0}, journal = {IEEE Trans. VLSI Syst.}, volume = {6}, number = {2}, pages = {222-231}, }